index
:
choc
main
An implementation of the Calculus of Construction.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Branch
Commit message
Author
Age
main
Simplify parser type
Yann Herklotz
2 years
