2015-09-06 | Tomáš Musil | fix more bugs master | blob | commitdiff |
2015-09-01 | Tomáš Musil | some work on HM interpreter | blob | commitdiff | diff to current |
2015-03-29 | Tomáš Musil | relax bounds | blob | commitdiff | diff to current |
2014-12-30 | Tomáš Musil | more work on Hindley-Milner | blob | commitdiff | diff to current |
2014-12-30 | Tomáš Musil | simple parser | blob | commitdiff | diff to current |
2014-12-24 | Tomáš Musil | documentation | blob | commitdiff | diff to current |
2014-12-24 | Tomáš Musil | reenable tests | blob | commitdiff | diff to current |
2014-12-16 | Tomas Musil | separate the parser | blob | commitdiff | diff to current |
2014-12-12 | Tomáš Musil | toNormalForm Eager | blob | commitdiff | diff to current |
2014-12-03 | Tomáš Musil | documentation | blob | commitdiff | diff to current |
2014-12-03 | Tomáš Musil | doctest | blob | commitdiff | diff to current |
2014-11-23 | Tomáš Musil | interpreter | blob | commitdiff | diff to current |