we need alpha-equivalence
[fp.git] / src / Main.hs
2014-11-28 Tomáš Musildefinitions, imports, logic
2014-11-23 Tomáš Musilinterpreter