https://github.com/jonsterling/agda-calf
History
Tip revision: 75627cd7a08bc41ab32820eba6e3cc2d4573211a authored by Harrison Grodin on 06 June 2023, 23:13:20 UTC
Fix Actions bug
Tip revision: 75627cd
File Mode Size
.github
src
.gitignore -rw-r--r-- 24 bytes
AEC.md -rw-r--r-- 7.0 KB
Agda.css -rw-r--r-- 1.9 KB
INSTALL.md -rw-r--r-- 1.2 KB
LICENSE -rw-r--r-- 11.1 KB
README.md -rw-r--r-- 16.1 KB
calf.agda-lib -rw-r--r-- 49 bytes

README.md

back to top