Source

lambda-translator /

Filename Size Date modified Message
sample
393 B
158 B
168 B
165 B
158 B
547 B
1012 B
821 B
1.0 KB
431 B
19 B
		(^ v ^)
	 Lambda Translator

- parsing lambda expression
- generate Scheme code (R5RS)
- generate Ruby code (version 1.9.1 or upper)
- generate Javascript code
(** TODO
- generate OCaml code
- generate Haskell code
- generate Gallina(Coq) code
- generate HaXe code
- generate Scala code
**)

BUILD:
	$ sh compile.sh

USAGE:
	$ ./run < samples/test01.lambda

	$ ./run < samples/test02.lambda