Stars
2
Forks
0
Watchers
Open Issues
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
50
commits
Finished erasure.
988efb5
Started erasure.
36d066b
Changed method of evaluation for metavariables.
f1b570a
Finished perseus implementation.
2ab1709
Fixed inference and started perceus.
6e654a7
Added inference.
af385bb
Continued bidirectional elaboration.
154d151
Finished unification, started elaboration.
74420e4
Continued unification.
a0f76a2
Started unification.
7f21e52
Restarted with implicit arguments.
30cc8b0
Added type inference and checking.
e573021
Restarted the project.
dbbf4c0
Continued.
7108a61
Started implicit functions.
ebd5130