RedPRL/algaett

Issues

• Error reporting

  #16 opened a year ago by jonsterling
  1

• Remove unrecoverable errors from the interface

  #18 opened a year ago by favonia
  7

• 🥡 [Meta] Turn components into reusable packages

  #27 opened 2 years ago by favonia
  0

• Update install instructions

  #26 opened 2 years ago by favonia
  1

• What is missing from the current name printing?

  #25 opened 6 years ago by favonia
  8

• Kind systems

  #24 opened 6 years ago by favonia
  5

• Options for conversion/normalization

  #23 opened 6 years ago by favonia
  7

• Holes don't work

  #13 opened 2 years ago by jonsterling
  0

• Add holes

  #8 opened 2 years ago by jonsterling
  0

• The new Refiner does not handle Unfold correctly

  #9 opened 2 years ago by favonia
  4

• Add `Let` and execute the textual order Thought

  #11 opened 2 years ago by favonia
  0

• Add "goal purposes" to the refinement rules

  #7 opened 2 years ago by jonsterling
  1

• Distinguish concrete syntax from core syntax?

  #6 opened 2 years ago by jonsterling
  2

• Precise Unicode emoji parsing is too slow

  #3 opened 2 years ago by favonia
  0

• Fix Unfold, Axiom, and Def in the presence of shadowing

  #2 opened 2 years ago by favonia
  0