-
Notifications
You must be signed in to change notification settings - Fork 9
Pull requests: rzk-lang/rzk
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Report correct location for parse error diagnostics (Language Server)
#176
by fizruk
was merged Apr 2, 2024
Loading…
3 tasks done
Add support for multiple languages in the documentation
#150
by fizruk
was merged Dec 9, 2023
Loading…
8 of 11 tasks
Push Rzk Playground to latest (since it's not replicated by default)
#137
by fizruk
was merged Oct 9, 2023
Loading…
Update to GHC 9.6, latest Stackage Nightly, and use BNFC in setup
#116
by fizruk
was merged Oct 1, 2023
Loading…
8 tasks done
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.