Ben MacAdam
Yes - wrapping up the diagram in a `\begin{equation}\label{-} ... \end{equation}` rather than the math-mode `\[ ...\]`. (And perhaps a text field for the label?)
Totally fair!
Hi, is it OK if I try working on this issue? It's an interesting looking project.
@NorfairKing Sorry I haven't made more progress on this! Can you give me an intuition for how Timestamps work? I can't quite figure out how they're being stored in the...
@NorfairKing Thanks for this - I didn't quite understand how your cursor library worked (particularly the map cursor type). I've written a few utility functions for cursors that seem to...
Yes, so it seems like your cursor correspond to "one-hole-contexts" for a regular datatype, which is a generalization of Huet's zipper construction for lists. McBride showed, somewhat surprisingly, this construction...
If you are discussing check-pointing strategies, it may be worth considering Jax's approach to AD, explained in [You Only Linearize Once](https://arxiv.org/pdf/2204.10923.pdf), since that can shed some light on what is...
Would a tree-sitter grammar make sense? This would be a two birds/one stone situation for me, since I'd also like to get a better handle on how Tree-sitter works.
I've run into this issue myself. Would it be possible to, say, extend `eqx.field` to add some sort of tagging system to the field metadata, which we could then use...
In a similar vein, if you could have syntax that is a bit like python's generics so you could include the dimensions as parameters in a (probably equinox) dataclass: ```python...