dtlc

dependently-typed lambda calculus toy
git clone git://git.rr3.xyz/dtlc
Log | Files | Refs | README | LICENSE

.gitignore (71B)


      1 *.o
      2 *.cm*
      3 *.mli
      4 lexer.ml
      5 parser.ml
      6 parser.output
      7 test
      8 test2
      9 main
     10 *.out