gallais/idris-tparsec

Issues

• Design patterns

  #43 opened 3 years ago by clayrat
  1

• Use fresh lists to enforce uniqueness of lexer keywords ?

  #30 opened 5 years ago by clayrat
  2

• Bug in the string literal parser?

  #42 opened 4 years ago by gallais
  1

• Port to Idris2

  #27 opened 5 years ago by clayrat
  10

• Return bounded nats for `decimalDigit`

  #38 opened 5 years ago by gallais
  1

• Add Examples as tests to Travis build

  #39 opened 5 years ago by clayrat
  1

• Add JSON parser

  #35 opened 5 years ago by clayrat
  2

• Experiment with `Lazy` annotations

  #37 opened 5 years ago by gallais
  0

• Boxed combinators?

  #10 opened 6 years ago by clayrat
  8

• Add various `parse` functions

  #3 opened 7 years ago by gallais
  2

• Error reporting

  #6 opened 6 years ago by clayrat
  33

• Refactor RegExp example to use new lexer

  #32 opened 5 years ago by clayrat
  0

• Check (and forbid) trailing whitespace

  #18 opened 6 years ago by gallais
  0

• Record spans instead of just starting positions

  #29 opened 5 years ago by epost
  0

• Simple generic lexer

  #22 opened 5 years ago by gallais
  1

• Buggy STLC example?

  #19 opened 6 years ago by gallais
  2

• Add docs to SLTC example a la Arithmetic example

  #4 opened 7 years ago by Kazark
  4

• Adding Elba manifest

  #14 opened 6 years ago by clayrat
  0

• Compile error in recordChar: No such variable ignore

  #15 opened 6 years ago by epost
  2

• Add monadic and combinators

  #11 opened 6 years ago by gallais
  4

• Is DecEq necessary for tokens?

  #8 opened 7 years ago by clayrat
  1

• Adding a .ipkg file?

  #1 opened 7 years ago by Invisible-Rabbit-Hunter
  0