issues
search
gallais
/
idris-tparsec
TParsec - Total Parser Combinators in Idris
https://gallais.github.io/idris-tparsec/
GNU General Public License v3.0
93
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[ fix ] Unstick computation in tests. Ambig and STLCpos are working.
#45
dunhamsteve
closed
1 year ago
1
[ fix ] Fix build for idris2 0.6.0
#44
dunhamsteve
closed
1 year ago
0
Design patterns
#43
clayrat
opened
3 years ago
1
Bug in the string literal parser?
#42
gallais
opened
3 years ago
1
Setting interface index multiplicity to 0
#41
glmxndr
closed
3 years ago
1
Fix uses of runStateT
#40
timsueberkrueb
closed
4 years ago
1
Add Examples as tests to Travis build
#39
clayrat
opened
4 years ago
1
Return bounded nats for `decimalDigit`
#38
gallais
closed
4 years ago
1
Experiment with `Lazy` annotations
#37
gallais
opened
4 years ago
0
[ fix #35 ] a JSON parser
#36
gallais
closed
4 years ago
7
Add JSON parser
#35
clayrat
closed
4 years ago
2
Remove utility functions which are already defined in the new Prelude
#34
eayus
closed
4 years ago
1
expose Data.Tuple
#33
andrevidela
closed
4 years ago
0
Refactor RegExp example to use new lexer
#32
clayrat
opened
5 years ago
0
use idris_opts instead of opts in elba.toml
#31
marcosh
closed
5 years ago
0
Use fresh lists to enforce uniqueness of lexer keywords ?
#30
clayrat
opened
5 years ago
2
Record spans instead of just starting positions
#29
epost
opened
5 years ago
0
add Lexer and lexing example
#28
clayrat
closed
5 years ago
8
Port to Idris2
#27
clayrat
opened
5 years ago
10
expand NEList + minor refactor
#26
clayrat
closed
5 years ago
2
Add documentation to Combinators
#25
andrevidela
closed
5 years ago
4
add Eq instances for Position and Result
#24
clayrat
closed
5 years ago
0
misc updates
#23
clayrat
closed
5 years ago
1
Simple generic lexer
#22
gallais
closed
5 years ago
1
Fix STLC examples
#21
clayrat
closed
5 years ago
0
add except and notChar
#20
andrevidela
closed
5 years ago
2
Buggy STLC example?
#19
gallais
closed
5 years ago
2
Check (and forbid) trailing whitespace
#18
gallais
opened
5 years ago
0
add transformers for Result and TParsecT, monadic combinators
#17
clayrat
closed
5 years ago
0
add elba manifest
#16
clayrat
closed
6 years ago
1
Compile error in recordChar: No such variable ignore
#15
epost
closed
6 years ago
2
Adding Elba manifest
#14
clayrat
closed
6 years ago
0
Travis integration
#13
gallais
closed
6 years ago
0
Error reporting
#12
clayrat
closed
6 years ago
3
Add monadic and combinators
#11
gallais
closed
6 years ago
4
Boxed combinators?
#10
clayrat
opened
6 years ago
8
weaken constraint on tokens to Eq
#9
clayrat
closed
6 years ago
0
Is DecEq necessary for tokens?
#8
clayrat
closed
6 years ago
1
port examples & minor improvements
#7
clayrat
closed
6 years ago
2
Error reporting
#6
clayrat
closed
6 years ago
33
Update to Idris 1.3: use lowercase patterns
#5
clayrat
closed
6 years ago
1
Add docs to SLTC example a la Arithmetic example
#4
Kazark
closed
6 years ago
4
Add various `parse` functions
#3
gallais
opened
6 years ago
2
add IPKG, reorganize modules
#2
clayrat
closed
6 years ago
1
Adding a .ipkg file?
#1
Invisible-Rabbit-Hunter
closed
6 years ago
0