minfp.git
5 years agoproblematic testcase
Mart Lubbers [Mon, 18 Mar 2019 15:21:34 +0000 (16:21 +0100)]
problematic testcase

5 years agomutual recursion type inference
Mart Lubbers [Mon, 18 Mar 2019 15:16:59 +0000 (16:16 +0100)]
mutual recursion type inference

5 years agocleanup
Mart Lubbers [Mon, 18 Mar 2019 14:13:41 +0000 (15:13 +0100)]
cleanup

5 years agodon't check for _
Mart Lubbers [Mon, 18 Mar 2019 14:01:35 +0000 (15:01 +0100)]
don't check for _

5 years agocleanup
Mart Lubbers [Mon, 18 Mar 2019 13:25:44 +0000 (14:25 +0100)]
cleanup

5 years agoseparate
Mart Lubbers [Mon, 18 Mar 2019 13:20:20 +0000 (14:20 +0100)]
separate

5 years agoscc analysis
Mart Lubbers [Mon, 18 Mar 2019 12:39:22 +0000 (13:39 +0100)]
scc analysis

5 years agocomponetns
Mart Lubbers [Fri, 15 Mar 2019 13:13:34 +0000 (14:13 +0100)]
componetns

5 years agomake work temporarily
Mart Lubbers [Thu, 14 Mar 2019 13:17:47 +0000 (14:17 +0100)]
make work temporarily

5 years agotyping
Mart Lubbers [Thu, 14 Mar 2019 13:03:21 +0000 (14:03 +0100)]
typing

5 years agoupdates'
Mart Lubbers [Mon, 11 Mar 2019 09:28:52 +0000 (10:28 +0100)]
updates'
git pus

5 years agoletrec
Mart Lubbers [Fri, 8 Mar 2019 12:48:35 +0000 (13:48 +0100)]
letrec

5 years agostart support for recursive let
Mart Lubbers [Thu, 7 Mar 2019 13:44:36 +0000 (14:44 +0100)]
start support for recursive let

5 years agocleanup
Mart Lubbers [Wed, 6 Mar 2019 12:12:23 +0000 (13:12 +0100)]
cleanup

5 years agocleanup
Mart Lubbers [Wed, 6 Mar 2019 10:33:41 +0000 (11:33 +0100)]
cleanup

5 years agointerpret
Mart Lubbers [Wed, 6 Mar 2019 10:21:15 +0000 (11:21 +0100)]
interpret

5 years agocleanup
Mart Lubbers [Tue, 5 Mar 2019 14:14:43 +0000 (15:14 +0100)]
cleanup

5 years agocompiler bug bug
Mart Lubbers [Tue, 5 Mar 2019 14:02:16 +0000 (15:02 +0100)]
compiler bug

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

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

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

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

5 years agoparsing cleaner
Mart Lubbers [Mon, 4 Mar 2019 15:08:41 +0000 (16:08 +0100)]
parsing cleaner

5 years agotry letrec
Mart Lubbers [Mon, 4 Mar 2019 12:06:45 +0000 (13:06 +0100)]
try letrec

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

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

5 years agoinfix operators
Mart Lubbers [Fri, 1 Mar 2019 08:40:22 +0000 (09:40 +0100)]
infix operators

5 years agoprepare for infix
Mart Lubbers [Fri, 1 Mar 2019 06:46:21 +0000 (07:46 +0100)]
prepare for infix

5 years agomore
Mart Lubbers [Thu, 21 Feb 2019 12:58:34 +0000 (13:58 +0100)]
more

5 years agomore checking and gen
Mart Lubbers [Mon, 11 Feb 2019 10:31:44 +0000 (11:31 +0100)]
more checking and gen

5 years agochecker update
Mart Lubbers [Fri, 8 Feb 2019 12:15:34 +0000 (13:15 +0100)]
checker update

5 years agoInitial commit
Mart Lubbers [Fri, 8 Feb 2019 09:25:39 +0000 (10:25 +0100)]
Initial commit