Geeks
effectfully
/
STLC
Dependently typed Algorithm M and friends
Primary Language
Agda
STLC GitHub
Markdown
Readme
1
Issue
25
Stargazers
3
Watchers
Issues
Open issue
`M` should be a total decider instead of a partial prover
#1 opened
9 years ago
by
gergoerdi
2