Open robrix opened 10 years ago
Fixpoint accumulating a set of combinators, assigning identities, mapping to syntax
Bonus points, work this into the quick look debugging stuff.
Fixpoint accumulating a set of combinators, assigning identities, mapping to syntax