https://github.com/jonsterling/agda-calf
Tip revision: 75627cd7a08bc41ab32820eba6e3cc2d4573211a authored by Harrison Grodin on 06 June 2023, 23:13:20 UTC
Fix Actions bug
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 |