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
/
src
/
driver
/
test.toytt
blob: 273b42b322d42aa62f9b7748b7dac533244b4622 (
plain
)
1
def t : bool := true