index
:
toytt
this commit
main
toy implementation of dependent type theory
git
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
bin
/
main.ml
blob: 732b8521c80bf1a19550f30388d7d17eda69ffe8 (
plain
)
1
let
()
=
print_ndline
"Hello, World!"