Mart Lubbers [Tue, 7 Sep 2021 13:21:54 +0000 (15:21 +0200)]
use Q style
Mart Lubbers [Thu, 2 Sep 2021 13:14:04 +0000 (15:14 +0200)]
infix prefix functions
Mart Lubbers [Thu, 2 Sep 2021 12:14:17 +0000 (14:14 +0200)]
cleanup
Mart Lubbers [Thu, 2 Sep 2021 11:44:29 +0000 (13:44 +0200)]
use parsec for the parser
Mart Lubbers [Thu, 2 Sep 2021 07:07:44 +0000 (09:07 +0200)]
allow case in expressions, parse expressions
Mart Lubbers [Wed, 1 Sep 2021 13:46:41 +0000 (15:46 +0200)]
cleanup compactify, improve
Mart Lubbers [Tue, 31 Aug 2021 14:06:02 +0000 (16:06 +0200)]
cleanup
Mart Lubbers [Mon, 30 Aug 2021 13:50:03 +0000 (15:50 +0200)]
support all other patterns and nested patterns
Mart Lubbers [Fri, 27 Aug 2021 11:54:13 +0000 (13:54 +0200)]
first order simple patterns
Mart Lubbers [Thu, 26 Aug 2021 14:20:08 +0000 (16:20 +0200)]
quasiquoting for patterns
Mart Lubbers [Thu, 26 Aug 2021 08:04:12 +0000 (10:04 +0200)]
add datatype generation DSL stuff
Mart Lubbers [Wed, 2 Dec 2020 14:19:07 +0000 (15:19 +0100)]
.
Mart Lubbers [Wed, 25 Nov 2020 15:28:42 +0000 (16:28 +0100)]
.
Mart Lubbers [Wed, 11 Nov 2020 06:33:05 +0000 (07:33 +0100)]
Merge branch 'master' of git.martlubbers.net:clean-tests into master
Mart Lubbers [Wed, 4 Nov 2020 15:41:46 +0000 (16:41 +0100)]
.
Mart Lubbers [Fri, 9 Oct 2020 12:26:39 +0000 (14:26 +0200)]
tests
Mart Lubbers [Fri, 9 Oct 2020 12:26:39 +0000 (14:26 +0200)]
tests
Mart Lubbers [Tue, 8 Sep 2020 12:51:51 +0000 (14:51 +0200)]
rm
Mart Lubbers [Mon, 7 Sep 2020 17:00:10 +0000 (19:00 +0200)]
structure
Mart Lubbers [Mon, 7 Sep 2020 04:31:54 +0000 (06:31 +0200)]
kinds
Mart Lubbers [Sun, 6 Sep 2020 17:29:44 +0000 (19:29 +0200)]
.
Mart Lubbers [Sun, 6 Sep 2020 14:14:45 +0000 (16:14 +0200)]
.
Mart Lubbers [Sun, 6 Sep 2020 09:34:30 +0000 (11:34 +0200)]
more kinds
Mart Lubbers [Fri, 4 Sep 2020 14:11:44 +0000 (16:11 +0200)]
geg
Mart Lubbers [Fri, 4 Sep 2020 07:27:58 +0000 (09:27 +0200)]
gengeng
Mart Lubbers [Thu, 3 Sep 2020 05:02:51 +0000 (07:02 +0200)]
update, segfault
Mart Lubbers [Thu, 3 Sep 2020 04:41:52 +0000 (06:41 +0200)]
uds
Mart Lubbers [Fri, 21 Aug 2020 14:25:34 +0000 (16:25 +0200)]
non flat parsers
Mart Lubbers [Fri, 21 Aug 2020 11:53:00 +0000 (13:53 +0200)]
use reader for indentation
Mart Lubbers [Fri, 21 Aug 2020 11:26:48 +0000 (13:26 +0200)]
flatparser
Mart Lubbers [Thu, 20 Aug 2020 13:43:58 +0000 (15:43 +0200)]
make writerT as well from non-flat typedef
Mart Lubbers [Thu, 20 Aug 2020 13:08:29 +0000 (15:08 +0200)]
cleanup gentype
Mart Lubbers [Thu, 20 Aug 2020 08:50:55 +0000 (10:50 +0200)]
updates, hierarchical
Mart Lubbers [Fri, 24 Jul 2020 13:30:16 +0000 (15:30 +0200)]
adsusussu
Mart Lubbers [Fri, 24 Jul 2020 13:07:30 +0000 (15:07 +0200)]
asds
Mart Lubbers [Fri, 24 Jul 2020 11:59:13 +0000 (13:59 +0200)]
asynchronous parametric lenses
Mart Lubbers [Fri, 24 Jul 2020 08:44:37 +0000 (10:44 +0200)]
add uds and auds implementations
Mart Lubbers [Wed, 22 Jul 2020 08:23:09 +0000 (10:23 +0200)]
.
Mart Lubbers [Fri, 10 Jul 2020 13:48:54 +0000 (15:48 +0200)]
.
Mart Lubbers [Fri, 10 Jul 2020 07:09:12 +0000 (09:09 +0200)]
yes
Mart Lubbers [Thu, 9 Jul 2020 13:28:30 +0000 (15:28 +0200)]
gengen
Mart Lubbers [Mon, 6 Jul 2020 14:38:37 +0000 (16:38 +0200)]
gen
Mart Lubbers [Mon, 6 Jul 2020 08:17:00 +0000 (10:17 +0200)]
t
Mart Lubbers [Fri, 3 Jul 2020 13:08:38 +0000 (15:08 +0200)]
many changes
Mart Lubbers [Tue, 30 Jun 2020 17:16:44 +0000 (19:16 +0200)]
uds
Mart Lubbers [Mon, 8 Jun 2020 06:09:50 +0000 (08:09 +0200)]
lambda
Mart Lubbers [Fri, 5 Jun 2020 08:38:38 +0000 (10:38 +0200)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Fri, 5 Jun 2020 08:38:24 +0000 (10:38 +0200)]
.
Mart Lubbers [Fri, 5 Jun 2020 08:38:04 +0000 (10:38 +0200)]
t
Mart Lubbers [Tue, 26 May 2020 11:58:47 +0000 (13:58 +0200)]
monomorph structgen
Mart Lubbers [Fri, 27 Mar 2020 15:02:31 +0000 (16:02 +0100)]
bc
Mart Lubbers [Mon, 23 Mar 2020 07:34:17 +0000 (08:34 +0100)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Mon, 23 Mar 2020 07:33:40 +0000 (08:33 +0100)]
.
Mart Lubbers [Thu, 5 Mar 2020 15:35:13 +0000 (16:35 +0100)]
.
Mart Lubbers [Mon, 2 Mar 2020 15:33:32 +0000 (16:33 +0100)]
.
Mart Lubbers [Mon, 2 Mar 2020 14:17:12 +0000 (15:17 +0100)]
.
Mart Lubbers [Mon, 2 Mar 2020 10:09:14 +0000 (11:09 +0100)]
.'
Mart Lubbers [Thu, 27 Feb 2020 15:52:21 +0000 (16:52 +0100)]
cloud
Mart Lubbers [Wed, 26 Feb 2020 14:28:44 +0000 (15:28 +0100)]
cloud
Mart Lubbers [Mon, 24 Feb 2020 10:27:18 +0000 (11:27 +0100)]
rank2
Mart Lubbers [Wed, 19 Feb 2020 08:14:04 +0000 (09:14 +0100)]
-
Mart Lubbers [Wed, 18 Dec 2019 14:21:35 +0000 (15:21 +0100)]
ushalow
Mart Lubbers [Tue, 17 Dec 2019 11:26:48 +0000 (12:26 +0100)]
ue
Mart Lubbers [Thu, 21 Nov 2019 08:44:59 +0000 (09:44 +0100)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Thu, 21 Nov 2019 08:44:31 +0000 (09:44 +0100)]
test
Mart Lubbers [Thu, 21 Nov 2019 08:44:14 +0000 (09:44 +0100)]
structs
Mart Lubbers [Fri, 15 Nov 2019 12:37:59 +0000 (13:37 +0100)]
structs
Mart Lubbers [Thu, 14 Nov 2019 13:12:57 +0000 (14:12 +0100)]
tests
Mart Lubbers [Thu, 10 Oct 2019 12:19:22 +0000 (14:19 +0200)]
things
Mart Lubbers [Thu, 12 Sep 2019 09:13:55 +0000 (11:13 +0200)]
test
Mart Lubbers [Wed, 11 Sep 2019 05:41:56 +0000 (07:41 +0200)]
progress
Mart Lubbers [Mon, 2 Sep 2019 09:18:43 +0000 (11:18 +0200)]
bork
Mart Lubbers [Tue, 20 Aug 2019 11:47:17 +0000 (13:47 +0200)]
7gui 1-5
Mart Lubbers [Tue, 20 Aug 2019 10:35:23 +0000 (12:35 +0200)]
gui
Mart Lubbers [Mon, 19 Aug 2019 17:52:08 +0000 (19:52 +0200)]
step as parallel
Mart Lubbers [Mon, 19 Aug 2019 17:37:51 +0000 (19:37 +0200)]
tests'
Mart Lubbers [Sun, 11 Aug 2019 16:30:19 +0000 (18:30 +0200)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Sun, 11 Aug 2019 16:30:01 +0000 (18:30 +0200)]
bork
Mart Lubbers [Thu, 8 Aug 2019 12:41:31 +0000 (14:41 +0200)]
tests
Mart Lubbers [Wed, 24 Jul 2019 12:08:10 +0000 (14:08 +0200)]
upd
Mart Lubbers [Thu, 16 May 2019 06:12:00 +0000 (08:12 +0200)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Thu, 16 May 2019 06:11:48 +0000 (08:11 +0200)]
tsets
Mart Lubbers [Tue, 14 May 2019 14:03:41 +0000 (16:03 +0200)]
signal handlers
Mart Lubbers [Wed, 3 Apr 2019 07:25:34 +0000 (09:25 +0200)]
signal
Mart Lubbers [Mon, 11 Mar 2019 07:26:53 +0000 (08:26 +0100)]
parse
Mart Lubbers [Mon, 18 Feb 2019 14:26:02 +0000 (15:26 +0100)]
update
Mart Lubbers [Mon, 18 Feb 2019 06:57:03 +0000 (07:57 +0100)]
parseclas
Mart Lubbers [Thu, 14 Feb 2019 10:54:43 +0000 (11:54 +0100)]
godpt
Mart Lubbers [Mon, 28 Jan 2019 14:42:31 +0000 (15:42 +0100)]
parserparser
Mart Lubbers [Fri, 25 Jan 2019 14:33:35 +0000 (15:33 +0100)]
parserparser associativity
Mart Lubbers [Thu, 6 Dec 2018 10:56:50 +0000 (11:56 +0100)]
try optiE
'
Mart Lubbers [Wed, 5 Dec 2018 12:14:57 +0000 (13:14 +0100)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Wed, 5 Dec 2018 12:14:09 +0000 (13:14 +0100)]
a11
Mart Lubbers [Fri, 30 Nov 2018 10:52:51 +0000 (11:52 +0100)]
a10
Mart Lubbers [Wed, 28 Nov 2018 09:14:11 +0000 (10:14 +0100)]
10
Mart Lubbers [Wed, 28 Nov 2018 08:06:31 +0000 (09:06 +0100)]
afp10
Mart Lubbers [Tue, 27 Nov 2018 15:55:16 +0000 (16:55 +0100)]
new a10A
Mart Lubbers [Tue, 27 Nov 2018 11:27:06 +0000 (12:27 +0100)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Tue, 27 Nov 2018 11:26:57 +0000 (12:26 +0100)]
a10
Mart Lubbers [Fri, 23 Nov 2018 08:11:19 +0000 (09:11 +0100)]
a9
repositories / clean-tests.git / log