rename Symantic.{Univariant => Typed}

remove useless benchmarks

replace ValueCode by Production

doc: improve a bit the ReadMe.md

TemplateHaskell: why is PprSplice much faster than DumpSplice?

$ make benchmarks/prof-time b=Brainfuck/ByteString/hanoi/SymanticParser.PprSplice
benchmarking Brainfuck/ByteString/hanoi/SymanticParser.PprSplice
time                 71.19 ms   (69.66 ms .. 72.58 ms)
                     0.999 R²   (0.999 R² .. 1.000 R²)
mean                 71.91 ms   (71.10 ms .. 73.18 ms)
std dev              1.755 ms   (973.5 μs .. 2.766 ms)

$ make benchmarks/prof-time b=Brainfuck/ByteString/hanoi/SymanticParser.DumpSplice
benchmarking Brainfuck/ByteString/hanoi/SymanticParser.DumpSplice
time                 170.5 ms   (169.7 ms .. 171.0 ms)
                     1.000 R²   (1.000 R² .. 1.000 R²)
mean                 169.4 ms   (168.3 ms .. 169.9 ms)
std dev              1.046 ms   (375.5 μs .. 1.650 ms)
variance introduced by outliers: 12% (moderately inflated)

add benchmarks

nix: cleanup

test: update

machine: improve comments

machine: fix view and output

machine: fix factorize out raiseException

machine: fix mayRaise analysis of catch

more on failures

grammar: sort symantics by name

test: dump splices using TH.runQ instead of calling ghc

fix: use a global polyfix for defLet and defRef

bug: a ref outside its def must be supported

test: add goldens for TH splices

nix: update nixpkgs to use cabal-install 3.4

machine: renames trying to clarify

machine: map exceptionStack by label

doc: polish

change license to AGPL-3.0-or-later

doc: update ToDo

test: mute unused-* warnings in TH splices

machine: simplify a bit the horizon checking

test: hide unique names for reproductibility

test: sync

Rename Machine.{Build => Program}

Reorganize Comb and Instr optimizations

doc: update the ReadMe and ChangeLog

grammar: open the Comb data-type

machine: open the Instr data-type

test: unique names changed again

prepare testing splices, but cabal-install-3.4 does not build yet

Document a bit more the horizon checks

stick to ParsleyHaskell's optimizations, except on pattern-matching at the Haskell.Term level

test: save

test: save

test: save

machine: rename InstrPure{Haskell => }

test: add Nandlang parser

test: add string

grammar: rename Parser.{Haskell => Grammar.Pure}

machine: add horizon optimization

add missing golden tests in cabal tarball

move doc in *.md files

polishing before first publising

rename cabal flag dump-splice{ => s}

improve make upload

add more Nix conveniencies

fix required GHC version

add make clean

remove unneeded dependency

ignore result*

ignore dump-core/

set cabal category to Parsing (like megaparsec)

fix make tag

rename Parser.{Staging => Haskell}

clean up Nix code

comment-out unstable golden tests

prepare cabal metadata for hackage upload

fix cabal metadata

add cabal flag 'dump-core'

rename Machine.{Gen => Generate}

add join-points

move runParser to Parser

rename Machine.{Eval => Gen}

remove Hints draft

rename {Automaton => Machine}

add missing tests

rename {Label => LetName}

add farthest position heuristic for parsing error messages

Add runParser

add Automaton inputs and evaluation

bump to ghc-9.0.1 to get a levity-polymorphic CodeQ

Fix DumpInstr

Add first golden tests for the Automaton

Polish code and dumps

Add missing file

Reformat comments

Remove unused extensions

Add a precision in a comment

Remove dependency upon symantic-base

Remove old stack config

Fix infinite loop in observeSharing

Rename many things and continue Instr interpretation

Trace and organize grammar optimizing rules

Add more Comb -> Instr translations

Draft transformation: Grammar -> Automaton

Polish

Rename Unlift to Output

Generalize Liftable with Trans

Extract Letable into generic module

introducing def and ref

wip

add GramDump and migrate to HLS

Remove unsafePerformIO to get StableName-s

Start to document grammar combinators

add .envrc and .gitignore