https://git.martlubbers.net

Mart Lubbers [Thu, 19 Jul 2018 13:01:13 +0000 (15:01 +0200)]

inference from haskell writing

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