Search results

Holes don't work

Status: Open.

#13 In RedPRL/algaett;

· jonsterling opened on Jul 13, 2022

Add Let and execute the textual order Thought

Status: Open.

#11 In RedPRL/algaett;

· favonia opened on Jul 11, 2022

Precise Unicode emoji parsing is too slow

Status: Open.

#3 In RedPRL/algaett;

· favonia opened on May 27, 2022

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

Status: Open.

#2 In RedPRL/algaett;

· favonia opened on May 9, 2022

🥡 [Meta] Turn components into reusable packages

Status: Open.

#27 In RedPRL/algaett;

· favonia opened on Mar 20, 2022

What is missing from the current name printing?

bugSomething isn't workingSomething isn't working

Status: Open.

#25 In RedPRL/algaett;

· favonia opened on Sep 17, 2018

Options for conversion/normalization

enhancementNew feature or requestNew feature or request

Status: Open.

#23 In RedPRL/algaett;

· favonia opened on Jun 11, 2018

Kind systems

Status: Open.

#24 In RedPRL/algaett;

· favonia opened on May 28, 2018