index
:
toytt
this commit
main
toy implementation of dependent type theory
Gitolite user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
bin
/
dune
blob: 2e2f594e4accbb460a8e0ddf1eba26b67033edce (
plain
)
1
2
3
4
5
(executable (public_name toytt) (name main) (libraries toytt) (modes byte exe))