some work on HM interpreter
authorTomáš Musil <tomik.musil@gmail.com>
Tue, 1 Sep 2015 23:30:46 +0000 (01:30 +0200)
committerTomáš Musil <tomik.musil@gmail.com>
Tue, 1 Sep 2015 23:30:46 +0000 (01:30 +0200)
commit763aa13445f67ffe289fe6f3186dd269a909d8a5
tree08de1d4c93d399672ac945111b846695b9edec65
parent79ff57615dcea00a035f125f8d8d77d5d128de5f
some work on HM interpreter
Logic.hm [new file with mode: 0644]
fp.cabal
src/HM.hs
src/HM/Interpreter.hs [new file with mode: 0644]
src/HM/Parser.hs
src/HM/Term.hs
src/HM/Test.hs [new file with mode: 0644]
src/Lambda/Interpreter.hs [new file with mode: 0644]
src/Lambda/Parser/Fancy.hs
src/Main.hs