File Mode Size
Arithmetic.agda -rw-r--r-- 2.7 KB
Base.agda -rw-r--r-- 3.3 KB
Everything.agda -rw-r--r-- 473 bytes

back to top