Giters

tscholak / gen_tm

term generator for simply typed lambda calculus, combinatory logic.

Repository from Github https://github.comtscholak/gen_tmRepository from Github https://github.comtscholak/gen_tm

This repository is not active

About

term generator for simply typed lambda calculus, combinatory logic.

License:MIT License

Languages

Language:Haskell 92.3%Language:Nix 7.7%