Giters
mmirman
/
caledon
higher order dependently typed logic programing
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
162
Watchers:
16
Issues:
2
Forks:
9
mmirman/caledon Issues
Caledon stalls when inferring some arguments.
Updated
5 years ago
Parser stalls on some bad inputs.
Updated
6 years ago