summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Mart Lubbers [Fri, 1 Mar 2019 08:40:22 +0000 (09:40 +0100)]
infix operators
Mart Lubbers [Fri, 1 Mar 2019 06:46:21 +0000 (07:46 +0100)]
prepare for infix
Mart Lubbers [Thu, 21 Feb 2019 12:58:34 +0000 (13:58 +0100)]
more
Mart Lubbers [Mon, 11 Feb 2019 10:31:44 +0000 (11:31 +0100)]
more checking and gen
Mart Lubbers [Fri, 8 Feb 2019 12:15:34 +0000 (13:15 +0100)]
checker update
Mart Lubbers [Fri, 8 Feb 2019 09:25:39 +0000 (10:25 +0100)]
Initial commit