Issues

• Design patterns

  question
  gallais/idris-tparsec#43 · Filter by author clayrat opened on Oct 28, 2021
  1

• Bug in the string literal parser?

  bug
  gallais/idris-tparsec#42 · Filter by author gallais opened on Jun 22, 2021
  1

• Add Examples as tests to Travis build

  travis
  gallais/idris-tparsec#39 · Filter by author clayrat opened on May 21, 2020
  1

• Experiment with Lazy annotations

  help wantedperformance
  gallais/idris-tparsec#37 · Filter by author gallais opened on May 12, 2020

• Refactor RegExp example to use new lexer

  documentationenhancement
  gallais/idris-tparsec#32 · Filter by author clayrat opened on Oct 31, 2019
  

• Use fresh lists to enforce uniqueness of lexer keywords ?

  gallais/idris-tparsec#30 · Filter by author clayrat opened on Sep 5, 2019
  2

• Record spans instead of just starting positions

  enhancementhacktoberfesthelp wanted
  gallais/idris-tparsec#29 · Filter by author epost opened on Sep 2, 2019

• Port to Idris2

  gallais/idris-tparsec#27 · Filter by author clayrat opened on Jul 28, 2019
  10

• Check (and forbid) trailing whitespace

  enhancementhacktoberfesttravis
  gallais/idris-tparsec#18 · Filter by author gallais opened on Dec 19, 2018

• Boxed combinators?

  design
  gallais/idris-tparsec#10 · Filter by author clayrat opened on Jul 6, 2018
  8

• Add various parse functions

  hacktoberfestlow-hanging-fruittask
  gallais/idris-tparsec#3 · Filter by author gallais opened on Feb 27, 2018
  2