-
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
Push Rzk Playground to latest (since it's not replicated by default)
#137
by fizruk
was merged Oct 9, 2023
Loading…
Change AST representation to use "free scoped monads" and generalised de Bruijn indices
#2
by fizruk
was merged Feb 26, 2021
Loading…
Allow patterns in function params and add hints on shape coercion
#67
by fizruk
was merged Jul 11, 2023
Loading…
11 tasks done
Build binaries for Ubuntu 20.04, add runner image name
#73
by fizruk
was closed Sep 21, 2023
Loading…
Previous Next
ProTip!
Updated in the last three days: updated:>2024-10-05.