[Agda] Alectryon - My first case of Coq envy

[Carette, Jacques]

https://plv.csail.mit.edu/blog/alectryon.html

It doesn't really get nice enough for envy until the uses of MathJAX for the Gauss lemma, and the graphics for Conway's game of life.

Jacques
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210325/b0a806e5/attachment.html>