summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Tomáš Musil [Sun, 6 Sep 2015 17:57:48 +0000 (19:57 +0200)]
fix more bugs
Tomáš Musil [Sun, 6 Sep 2015 16:28:10 +0000 (18:28 +0200)]
fix bug in unification
Tomáš Musil [Fri, 4 Sep 2015 00:25:06 +0000 (02:25 +0200)]
lambda for HM
Tomáš Musil [Wed, 2 Sep 2015 15:30:17 +0000 (17:30 +0200)]
more work on HM interpreter
Tomáš Musil [Tue, 1 Sep 2015 23:30:46 +0000 (01:30 +0200)]
some work on HM interpreter
Tomáš Musil [Mon, 31 Aug 2015 16:58:38 +0000 (18:58 +0200)]
remove unnecessary
Tomáš Musil [Tue, 25 Aug 2015 15:57:39 +0000 (17:57 +0200)]
HM type inference
Tomáš Musil [Tue, 25 Aug 2015 14:28:31 +0000 (16:28 +0200)]
working on alg W
Tomáš Musil [Sun, 23 Aug 2015 17:12:58 +0000 (19:12 +0200)]
gitignore
Tomáš Musil [Sat, 22 Aug 2015 15:16:10 +0000 (17:16 +0200)]
HM parser
Tomáš Musil [Sat, 22 Aug 2015 03:09:21 +0000 (05:09 +0200)]
práce na parseru pro HM
Tomáš Musil [Sun, 29 Mar 2015 23:12:34 +0000 (01:12 +0200)]
relax bounds
Tomáš Musil [Tue, 30 Dec 2014 22:29:21 +0000 (23:29 +0100)]
more work on Hindley-Milner
Tomas Musil [Tue, 30 Dec 2014 19:04:39 +0000 (20:04 +0100)]
start work on unification
Tomáš Musil [Tue, 30 Dec 2014 18:59:46 +0000 (19:59 +0100)]
fix documentation
Tomas Musil [Tue, 30 Dec 2014 16:45:05 +0000 (17:45 +0100)]
start work on alg W
Tomáš Musil [Tue, 30 Dec 2014 00:26:29 +0000 (01:26 +0100)]
simple parser
Tomáš Musil [Wed, 24 Dec 2014 20:09:55 +0000 (21:09 +0100)]
documentation
Tomáš Musil [Wed, 24 Dec 2014 19:11:42 +0000 (20:11 +0100)]
reenable tests
Tomas Musil [Tue, 16 Dec 2014 17:55:47 +0000 (18:55 +0100)]
separate the parser
Tomáš Musil [Sat, 13 Dec 2014 06:50:35 +0000 (07:50 +0100)]
alpha equivalence
Tomáš Musil [Fri, 12 Dec 2014 21:00:32 +0000 (22:00 +0100)]
we need alpha-equivalence
Tomáš Musil [Fri, 12 Dec 2014 20:53:38 +0000 (21:53 +0100)]
fix doctests
Tomas Musil [Fri, 12 Dec 2014 19:25:07 +0000 (20:25 +0100)]
Eager and Lazy
Tomáš Musil [Fri, 12 Dec 2014 08:51:12 +0000 (09:51 +0100)]
toNormalForm Eager
Tomáš Musil [Wed, 3 Dec 2014 23:41:22 +0000 (00:41 +0100)]
documentation
Tomáš Musil [Wed, 3 Dec 2014 22:23:28 +0000 (23:23 +0100)]
doctest
Tomas Musil [Wed, 3 Dec 2014 15:21:10 +0000 (16:21 +0100)]
remove unnecessary brackets
Tomas Musil [Wed, 3 Dec 2014 15:15:42 +0000 (16:15 +0100)]
multiple applications
Tomas Musil [Wed, 3 Dec 2014 13:47:09 +0000 (14:47 +0100)]
multiple args in lambda
Tomáš Musil [Fri, 28 Nov 2014 19:57:05 +0000 (20:57 +0100)]
definitions, imports, logic
Tomáš Musil [Sun, 23 Nov 2014 21:04:21 +0000 (22:04 +0100)]
interpreter
Tomas Musil [Sun, 9 Nov 2014 01:40:51 +0000 (02:40 +0100)]
fno-warn unused do bindings
Tomáš Musil [Thu, 30 Oct 2014 02:38:23 +0000 (03:38 +0100)]
redukce
Tomáš Musil [Thu, 30 Oct 2014 01:57:46 +0000 (02:57 +0100)]
substitution
Tomas Musil [Thu, 23 Oct 2014 01:37:46 +0000 (03:37 +0200)]
Lambda
Tomas Musil [Thu, 23 Oct 2014 01:09:02 +0000 (03:09 +0200)]
lambda
projekty / fp.git / log