summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Mart Lubbers [Wed, 31 Jul 2019 08:31:39 +0000 (10:31 +0200)]
strictness, ci
Mart Lubbers [Thu, 28 Mar 2019 13:19:02 +0000 (14:19 +0100)]
Add structured types for parsing and type checking
Mart Lubbers [Thu, 28 Mar 2019 10:17:24 +0000 (11:17 +0100)]
add grammar
Mart Lubbers [Wed, 27 Mar 2019 14:10:58 +0000 (15:10 +0100)]
own parser combinators
Mart Lubbers [Wed, 27 Mar 2019 07:49:02 +0000 (08:49 +0100)]
Merge branch 'master' of git.martlubbers.net:minfp
Mart Lubbers [Wed, 27 Mar 2019 07:47:24 +0000 (08:47 +0100)]
start with adts
Mart Lubbers [Wed, 27 Mar 2019 07:25:26 +0000 (08:25 +0100)]
tuples are slow in parsing
Mart Lubbers [Wed, 20 Mar 2019 11:51:24 +0000 (12:51 +0100)]
tuples
Mart Lubbers [Wed, 20 Mar 2019 09:22:30 +0000 (10:22 +0100)]
something something tuples
Mart Lubbers [Wed, 20 Mar 2019 07:43:38 +0000 (08:43 +0100)]
fix check
Mart Lubbers [Tue, 19 Mar 2019 08:14:39 +0000 (09:14 +0100)]
rename main program
Mart Lubbers [Tue, 19 Mar 2019 08:11:32 +0000 (09:11 +0100)]
readme
Mart Lubbers [Tue, 19 Mar 2019 07:37:20 +0000 (08:37 +0100)]
Fix bug in apply checking
Mart Lubbers [Mon, 18 Mar 2019 15:21:34 +0000 (16:21 +0100)]
problematic testcase
Mart Lubbers [Mon, 18 Mar 2019 15:16:59 +0000 (16:16 +0100)]
mutual recursion type inference
Mart Lubbers [Mon, 18 Mar 2019 14:13:41 +0000 (15:13 +0100)]
cleanup
Mart Lubbers [Mon, 18 Mar 2019 14:01:35 +0000 (15:01 +0100)]
don't check for _
Mart Lubbers [Mon, 18 Mar 2019 13:25:44 +0000 (14:25 +0100)]
cleanup
Mart Lubbers [Mon, 18 Mar 2019 13:20:20 +0000 (14:20 +0100)]
separate
Mart Lubbers [Mon, 18 Mar 2019 12:39:22 +0000 (13:39 +0100)]
scc analysis
Mart Lubbers [Fri, 15 Mar 2019 13:13:34 +0000 (14:13 +0100)]
componetns
Mart Lubbers [Thu, 14 Mar 2019 13:17:47 +0000 (14:17 +0100)]
make work temporarily
Mart Lubbers [Thu, 14 Mar 2019 13:03:21 +0000 (14:03 +0100)]
typing
Mart Lubbers [Mon, 11 Mar 2019 09:28:52 +0000 (10:28 +0100)]
updates'
git pus
Mart Lubbers [Fri, 8 Mar 2019 12:48:35 +0000 (13:48 +0100)]
letrec
Mart Lubbers [Thu, 7 Mar 2019 13:44:36 +0000 (14:44 +0100)]
start support for recursive let
Mart Lubbers [Wed, 6 Mar 2019 12:12:23 +0000 (13:12 +0100)]
cleanup
Mart Lubbers [Wed, 6 Mar 2019 10:33:41 +0000 (11:33 +0100)]
cleanup
Mart Lubbers [Wed, 6 Mar 2019 10:21:15 +0000 (11:21 +0100)]
interpret
Mart Lubbers [Tue, 5 Mar 2019 14:14:43 +0000 (15:14 +0100)]
cleanup
Mart Lubbers [Tue, 5 Mar 2019 14:02:16 +0000 (15:02 +0100)]
compiler bug
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)]
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
repositories / minfp.git / log