summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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