Commits

yoshihiro503  committed 863cffd

readme

  • Participants
  • Parent commits 877c738

Comments (0)

Files changed (1)

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