-
Notifications
You must be signed in to change notification settings - Fork 8
Pull requests: rzk-lang/rzk
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Replace all usages of String with Text
#168
opened Jan 2, 2024 by
aabounegm
Loading…
updated Jan 9, 2024
Set a limit on WHNF computation depth
#187
opened Jun 11, 2024 by
fizruk
Loading…
updated Jun 11, 2024
3 tasks done
ProTip!
Adding no:label will show everything without a label.