michael/frap
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
1 commit 1 branch 0 tags 118 KiB
Agda 100%
Go to file
Michael Zhang fd916dda04
frap
2022-11-22 01:45:39 -06:00
src frap 2022-11-22 01:45:39 -06:00
.gitignore frap 2022-11-22 01:45:39 -06:00
frap.agda-lib frap 2022-11-22 01:45:39 -06:00