Jacques Carette
Jacques Carette
No, not monads on a bicategory (though these seem interesting too), but rather a twining of a monad and a comonad. https://arxiv.org/abs/0710.1163.
Renames the functions, but not the syntax.
Right now the main thing we link to is the old position paper.
Looking at the [latest build](https://github.com/JacquesCarette/Drasil/actions/runs/5602930859/jobs/10248848304?pr=3547), it takes 24minutes to do what is listed as the tex part of the build. Now, digging in, we see: ``` stack build --ghc-options="-Wall -j2"...
Not so interested in who defines it but rather, where is it used? We need to know what code relies on abbreviations existing for certain (like `getA`, which is fine)....
Note: this will most likely not be straightforward. Some of the things in `acronyms` are likely redundant, others will belong elsewhere while others still will be related to infrastructure and...
These should instead have a polymorphic parameter and constraints corresponding to the actually-used lenses. These should be done on a case-by-case basis, to be as precise as possible.
We would like to generate code (like Projectile) with no functions at all (see #3247), just straight-line code. So we need a 'single function' option to the generator as a...
It would be "nice" to be able to also obtain this version of projectile: ```python import math v, t, p1 = 5.1, 43.0, 12.89 d = 2.0 * v **...
See [this build failure](https://github.com/JacquesCarette/Drasil/actions/runs/3608923700/jobs/6081806688) for an example. Seems to be related to lualatex and fonts? Might be new, even though this bug seemed to appear in the past (on the...