~aathn/kalpis-agda

/ d---------
da00ed84 — Anders Ågren Thuné Apply Kick-the-tires feedback 1 year, 2 months ago
-rw-r--r--
.agda-lib
36 bytes
-rw-r--r--
.gitignore
8 bytes
-rw-r--r--
Everything.agda
3.5 KiB
d---------
Kalpis/
-rw-r--r--
LICENSE
1.5 KiB
-rw-r--r--
Makefile
405 bytes
-rw-r--r--
PInj.agda
4.5 KiB
d---------
PiArr/
-rw-r--r--
README.md
15.2 KiB
d---------
RRArr/
Do not follow this link