Issues
- 5
- 1
Monoidal Category of Grammars
#27 opened by maxsnew - 1
- 8
NFA Parser
#7 opened by stschaef - 1
CI is failing
#16 opened by maxsnew - 2
Define unambguity
#14 opened by stschaef - 1
Parser Combinators
#8 opened by stschaef - 0
Detailed Canonicity proof
#9 opened by maxsnew - 1
Add Coinductives to the Paper
#10 opened by maxsnew - 1
Add caching to the CI
#6 opened by stschaef - 1
- 1
Include readable proofs with the Agda code
#4 opened by stschaef