GitHub repository: theoldmoon0602/tapl_untyped
Primary language: OCaml
Description: いやこれTaPLか？とにかく形無しラムダ計算のインタプリタです