login sign up

Emacs Mode — Agda 2.5.2 documentation

agda.readthedocs.io
saved by
0 people
related read on
Implement With Types, Not Your Brain! from the discussion