wball/perga
1
0
Fork 0
Code Issues 15 Pull requests Projects Releases Packages Wiki Activity Actions
Basic proof assistant based on Calculus of Constructions
13 commits 2 branches 0 tags 831 KiB
Haskell 100%
Find a file
William Ball 80fb0e8760 findType passing every test I've thrown at it!
2024-11-11 23:38:10 -08:00
app findType passing every test I've thrown at it! 2024-11-11 23:38:10 -08:00
.gitignore basics 2024-10-05 13:36:05 -07:00
CHANGELOG.md basics 2024-10-05 13:31:09 -07:00
lambda-D.cabal starting type checking again 2024-11-11 17:57:14 -08:00
LICENSE basics 2024-10-05 13:31:09 -07:00