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
/
lib
/
ParserEff.ml
blob: 84c0de83cc9788ab799e06e74f876ba81e16303a (
plain
)
1
module
Eff
=
Algaeff
.
Reader
.
Make
(
struct
type
nonrec
t
=
Asai
.
Range
.
source
end
)