Issues

• Holes don't work

  RedPRL/algaett#13 · Filter by author jonsterling opened on Jul 13, 2022

• Add Let and execute the textual order Thought

  RedPRL/algaett#11 · Filter by author favonia opened on Jul 11, 2022

• Precise Unicode emoji parsing is too slow

  RedPRL/algaett#3 · Filter by author favonia opened on May 27, 2022

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

  RedPRL/algaett#2 · Filter by author favonia opened on May 9, 2022

• 🥡 [Meta] Turn components into reusable packages

  RedPRL/algaett#27 · Filter by author favonia opened on Mar 20, 2022

• What is missing from the current name printing?

  bug
  RedPRL/algaett#25 · Filter by author favonia opened on Sep 17, 2018
  8

  

• Options for conversion/normalization

  enhancement
  RedPRL/algaett#23 · Filter by author favonia opened on Jun 11, 2018
  7

• Kind systems

  RedPRL/algaett#24 · Filter by author favonia opened on May 28, 2018
  5