]> Git — Sourcephile - haskell/symantic-parser.git/log
haskell/symantic-parser.git
4 years agoTrace and organize grammar optimizing rules
Julien Moutinho [Wed, 14 Oct 2020 20:35:02 +0000 (22:35 +0200)]
Trace and organize grammar optimizing rules

4 years agoAdd more Comb -> Instr translations
Julien Moutinho [Wed, 14 Oct 2020 04:40:11 +0000 (06:40 +0200)]
Add more Comb -> Instr translations

4 years agoDraft transformation: Grammar -> Automaton
Julien Moutinho [Tue, 13 Oct 2020 04:44:41 +0000 (06:44 +0200)]
Draft transformation: Grammar -> Automaton

4 years agoPolish
Julien Moutinho [Mon, 12 Oct 2020 03:16:45 +0000 (05:16 +0200)]
Polish

4 years agoRename Unlift to Output
Julien Moutinho [Mon, 12 Oct 2020 03:13:05 +0000 (05:13 +0200)]
Rename Unlift to Output

4 years agoGeneralize Liftable with Trans
Julien Moutinho [Mon, 12 Oct 2020 02:59:51 +0000 (04:59 +0200)]
Generalize Liftable with Trans

4 years agoExtract Letable into generic module
Julien Moutinho [Mon, 12 Oct 2020 00:08:21 +0000 (02:08 +0200)]
Extract Letable into generic module

4 years agointroducing def and ref
Julien Moutinho [Sun, 11 Oct 2020 03:14:55 +0000 (05:14 +0200)]
introducing def and ref

4 years agowip
Julien Moutinho [Sat, 10 Oct 2020 21:30:24 +0000 (23:30 +0200)]
wip

4 years agoadd GramDump and migrate to HLS
Julien Moutinho [Sat, 10 Oct 2020 01:48:42 +0000 (03:48 +0200)]
add GramDump and migrate to HLS

4 years agoRemove unsafePerformIO to get StableName-s
Julien Moutinho [Thu, 8 Oct 2020 01:10:08 +0000 (03:10 +0200)]
Remove unsafePerformIO to get StableName-s

4 years agoStart to document grammar combinators
Julien Moutinho [Thu, 8 Oct 2020 01:08:42 +0000 (03:08 +0200)]
Start to document grammar combinators

4 years agoadd .envrc and .gitignore
Julien Moutinho [Wed, 7 Oct 2020 13:34:30 +0000 (15:34 +0200)]
add .envrc and .gitignore

4 years agowip
Julien Moutinho [Tue, 6 Oct 2020 22:49:48 +0000 (00:49 +0200)]
wip

4 years agowip
Julien Moutinho [Tue, 29 Sep 2020 20:16:54 +0000 (22:16 +0200)]
wip

4 years agoinit
Julien Moutinho [Thu, 3 Sep 2020 08:10:11 +0000 (10:10 +0200)]
init