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
/
src
/
parser
/
Eff.ml
blob: 45887b89d9dafb984fb5fdc28a927185aff2cd92 (
plain
)
1
include
Algaeff
.
Reader
.
Make
(
struct
type
nonrec
t
=
Asai
.
Range
.
source
end
)