Source

lambda-translator / README

Full commit
		(^ v ^)
	 Lambda Translator

- parsing lambda expression
- generate Scheme code
(** TODO
- generate Ruby code
- generate Javascript code
- generate OCaml code
- generate Haskell code
- generate Gallina(Coq) code
- generate HaXe code
- generate Scala code
**)

BUILD:
	$ sh compile.sh

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