SchrodingerZhu/paguroidea

Issues

• Simplify grammar

  #22 opened a year ago by QuarticCat
  2

• minimize the lexer DFA

  #55 opened a year ago by SchrodingerZhu
  0

• Update docs

  #49 opened a year ago by SchrodingerZhu
  0

• Infinite normalization for transitive references between μ rules

  #46 opened a year ago by SchrodingerZhu
  0

• Main branch benchmark is broken

  #42 opened a year ago by SchrodingerZhu
  3

• Optimize generated code

  #23 opened a year ago by QuarticCat
  0

• Remove some tags

  #5 opened a year ago by SchrodingerZhu
  2

• Forbid nullable tokens

  #11 opened a year ago by SchrodingerZhu
  1

• Hide the term being checked from binding

  #10 opened a year ago by SchrodingerZhu
  1

• Error Implementation

  #3 opened a year ago by SchrodingerZhu
  0

• Normal Form should be simplified

  #6 opened a year ago by SchrodingerZhu
  2