descriptionUnnamed repository; edit this file 'description' to name the repository.
last changeSun, 6 Sep 2015 17:57:48 +0000 (19:57 +0200)
shortlog
2015-09-06 Tomáš Musilfix more bugs master
2015-09-06 Tomáš Musilfix bug in unification
2015-09-04 Tomáš Musillambda for HM
2015-09-02 Tomáš Musilmore work on HM interpreter
2015-09-01 Tomáš Musilsome work on HM interpreter
2015-08-31 Tomáš Musilremove unnecessary
2015-08-25 Tomáš MusilHM type inference
2015-08-25 Tomáš Musilworking on alg W
2015-08-23 Tomáš Musilgitignore
2015-08-22 Tomáš MusilHM parser
2015-08-22 Tomáš Musilpráce na parseru pro HM
2015-03-29 Tomáš Musilrelax bounds
2014-12-30 Tomáš Musilmore work on Hindley-Milner
2014-12-30 Tomas Musilstart work on unification
2014-12-30 Tomáš Musilfix documentation
2014-12-30 Tomas Musilstart work on alg W
...
heads
10 years ago master