https://git.martlubbers.net

Mart Lubbers [Tue, 5 Mar 2019 13:20:26 +0000 (14:20 +0100)]

let

Mart Lubbers [Tue, 5 Mar 2019 13:10:25 +0000 (14:10 +0100)]

infer

Mart Lubbers [Mon, 4 Mar 2019 15:26:30 +0000 (16:26 +0100)]

cleanup

Mart Lubbers [Mon, 4 Mar 2019 15:20:44 +0000 (16:20 +0100)]

cleanup

Mart Lubbers [Mon, 4 Mar 2019 15:08:41 +0000 (16:08 +0100)]

parsing cleaner

Mart Lubbers [Mon, 4 Mar 2019 12:06:45 +0000 (13:06 +0100)]

try letrec

Mart Lubbers [Mon, 4 Mar 2019 10:54:59 +0000 (11:54 +0100)]

test

Mart Lubbers [Fri, 1 Mar 2019 09:17:46 +0000 (10:17 +0100)]

preamble

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)]

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