Jacques Carette
Jacques Carette
> so I guess I'll just leave this as-is for now then (using the "meta" idea of Naturals instead of an embedded one)? Yes, for now.
This is looking good! > since we represent for instance vectors as clifs, how do we "retain" that knowledge so even though we're representing a vector as a clif, it...
Excellent idea! Doing it on the wiki, and then having the documentation (README, probably inside the code too) point to that might give you more freedom. We'll want @B-rando1 to...
Looks very nice indeed. The central stuff seems right. Some of the 'utilities' on the left are much more than that, and contain crucial information defining some of the basic...
You'll probably want to change the terminology -- some are helpers, others something else. So that left box may need to be split into 2.
If you view it at its "native" size, the PDF is fine. My guess is that it is using bitmaps instead of proper fonts. I guess it depends on how...
I see there's been quite a bit of progress since the last discussion happened. Perhaps @Taneb can give us an 'in words' status update?
Personally I much prefer U+02A1F , i.e. ``` 02A1F ⨟ # \zcmp mathop oz = \semi (oz), = \fatsemi (stmaryrd), Z NOTATION SCHEMA COMPOSITION ``` which I believe is also...
U+02A1F is larger than U+2A3E which I've found to act as a nice visual delimiter. It also has the advantage of having been in a standard latex package for longer.
I'm not sure how much we should change things wrt efficiency. What I mean is that it makes a lot of sense to have (at least) two different definitions of...