summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Mart Lubbers [Wed, 18 Jul 2018 13:54:36 +0000 (15:54 +0200)]
main program
Mart Lubbers [Wed, 18 Jul 2018 12:44:20 +0000 (14:44 +0200)]
infer
Mart Lubbers [Mon, 9 Jul 2018 07:26:37 +0000 (09:26 +0200)]
add infix and preamble
Mart Lubbers [Sun, 8 Jul 2018 11:59:54 +0000 (13:59 +0200)]
parser, succinct
Mart Lubbers [Fri, 6 Jul 2018 13:40:43 +0000 (15:40 +0200)]
Initial commit