This repository has been archived by the owner on Apr 2, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 18
Issues: RedPRL/sml-redprl
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Add typed beta rules for (vproj x (vin x...)) etc.
A-rules
P-high
#683
opened Apr 26, 2018 by
jonsterling
Clean up and impose a signature on RefinerKit
E-easy
I-cleanup
#522
opened Dec 31, 2017 by
jonsterling
ProTip!
Exclude everything labeled
bug
with -label:bug.