Source

lambda-translator / README

Full commit
yoshihiro503 863cffd 



yoshihiro503 ee89d9d 


yoshihiro503 3961e1e 
yoshihiro503 863cffd 


yoshihiro503 3961e1e 


yoshihiro503 863cffd 




yoshihiro503 ee89d9d 

		(^ 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