3 ms·
The current release of Agda supports literate markdown. https://jesper.sikanda.be/posts/literate-agda.html https://jesper.sikanda.be/posts/literate-agda.html
by mietek 7y ago
The current release of Agda supports literate markdown.
https://jesper.sikanda.be/posts/literate-agda.html https://jesper.sikanda.be/posts/literate-agda.html