more work on HM interpreter
[fp.git] / Logic.hm
2015-09-01 Tomáš Musilsome work on HM interpreter