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
/
lib
/
Eval.mli
blob: aaa8977598e0f54fecf611446e36cfde7da561ce (
plain
)
1
val
eval
:
env
:
Domain
.
env
->
Syntax
.
tm
->
Domain
.
value