sourcephile
/
git
/
haskell
/
symantic-parser.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
doc: registers are now available
[haskell/symantic-parser.git]
/
src
/
Symantic
/
Parser
/
Grammar
/
Write.hs
2021-07-31
Julien Moutinho
change ShowLetName into HideableName
blob
|
commitdiff
|
raw
2021-07-30
Julien Moutinho
machine: normalOrderReduction at the last moment
blob
|
commitdiff
|
raw
|
diff to current
2021-07-28
Julien Moutinho
add registers
blob
|
commitdiff
|
raw
|
diff to current
2021-07-16
Julien Moutinho
deps: bump to symantic-base 0.2
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Julien Moutinho
use symantic-base
symantic-parser-0.2.0.20210703
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Julien Moutinho
rename Symantic.{Univariant => Typed}
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Julien Moutinho
more on failures
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Julien Moutinho
grammar: sort symantics by name
blob
|
commitdiff
|
raw
|
diff to current
2021-07-11
Julien Moutinho
fix: use a global polyfix for defLet and defRef
blob
|
commitdiff
|
raw
|
diff to current
2021-02-01
Julien Moutinho
test: hide unique names for reproductibility
blob
|
commitdiff
|
raw
|
diff to current
2021-01-30
Julien Moutinho
grammar: open the Comb data-type
blob
|
commitdiff
|
raw
|
diff to current
2021-01-16
Julien Moutinho
stick to ParsleyHaskell's optimizations, except on...
blob
|
commitdiff
|
raw
|
diff to current
2020-12-29
Julien Moutinho
add farthest position heuristic for parsing error messages
blob
|
commitdiff
|
raw
|
diff to current
2020-10-20
Julien Moutinho
Remove dependency upon symantic-base
blob
|
commitdiff
|
raw
|
diff to current
2020-10-15
Julien Moutinho
Rename many things and continue Instr interpretation
blob
|
commitdiff
|
raw
|
diff to current
2020-10-14
Julien Moutinho
Add more Comb -> Instr translations
blob
|
commitdiff
|
raw
|
diff to current
2020-10-13
Julien Moutinho
Draft transformation: Grammar -> Automaton
blob
|
commitdiff
|
raw
|
diff to current
2020-10-12
Julien Moutinho
Extract Letable into generic module
blob
|
commitdiff
|
raw
|
diff to current
2020-10-11
Julien Moutinho
introducing def and ref
blob
|
commitdiff
|
raw
|
diff to current
2020-10-10
Julien Moutinho
wip
blob
|
commitdiff
|
raw
|
diff to current
2020-10-10
Julien Moutinho
add GramDump and migrate to HLS
blob
|
commitdiff
|
raw
|
diff to current
sourcephile / git / haskell / symantic-parser.git / history