1. Yoshihiro Imai
  2. lambda-translator

Source

lambda-translator / README

		(^ v ^)
	 Lambda Translator

- parsing lambda expression
- generate Scheme code
- generate Ruby code
- generate OCaml code
- generate Haskell code
- generate Gallina(Coq) code


BUILD:
	$ sh compile.sh

USAGE:
	$ echo 'lambda f. lambda x. f x' | ./lambda