avoid unfolding definitions in eq checking when possible #9

Open
opened 2023-05-30 12:13:23 -04:00 by rhi · 0 comments
Owner

needs some shuffling cos it's whnf that does the unfolding currently :/

needs some shuffling cos it's `whnf` that does the unfolding currently :/
rhi added the
performance
label 2023-06-11 13:04:45 -04:00
Sign in to join this conversation.
No Milestone
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: rhi/quox#9
No description provided.