WA

wangjiezhe/tapl

Source code for TAPL

lambda-calculus ocaml tapl type-system typed-lambda-calculus

No README found.

Languages

OCaml91.8%Makefile5.1%Fortran1.8%Forth1.3%

Contributors

Created March 24, 2017

Updated December 25, 2023