Skip to content

Issues: rzk-lang/rzk

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

50 Open 31 Closed
50 Open 31 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Update nixpkgs
#182 opened Apr 17, 2024 by deemp
Upload documentation when publishing on Hackage
#180 opened Apr 5, 2024 by fizruk
Switch to GHC with JS backend
#170 opened Feb 3, 2024 by deemp
1 task
2
Avoid double typechecking when computing cache invalidation
#163 opened Dec 15, 2023 by fizruk
Make sure language server's handlers never crash
#162 opened Dec 15, 2023 by fizruk
Add "rzk doc" command to build documentation
#152 opened Dec 9, 2023 by fizruk
Add --rzk-yaml=FILE command line option good first issue Good for newcomers
#151 opened Dec 9, 2023 by fizruk
Detect and fix incorrect indentation enhancement New feature or request formatter
#148 opened Dec 8, 2023 by aabounegm
Implement inserting line breaks in the formatter enhancement New feature or request formatter
#147 opened Dec 8, 2023 by aabounegm
Add (optional) autoformatting to Rzk Playground
#145 opened Dec 8, 2023 by fizruk
Support macros and/or polymorphism to simplify proofs
#143 opened Nov 11, 2023 by fizruk
Improve error messages for operators
#142 opened Nov 3, 2023 by fizruk
Weird error message saying "expected a pattern" enhancement New feature or request
#141 opened Oct 23, 2023 by emilyriehl
@fizruk
1
"Global" assumptions or axioms (spreading across multiple files)
#139 opened Oct 12, 2023 by fizruk
Display Rzk version on the Playground
#138 opened Oct 8, 2023 by fizruk
Stack cache does not work on Windows builds on CI
#135 opened Oct 7, 2023 by fizruk
1
Add upper bounds on dependencies
#134 opened Oct 7, 2023 by fizruk
Better local inference for identity types good first issue Good for newcomers
#130 opened Oct 5, 2023 by fizruk
Allow (certain) maps between shapes
#129 opened Oct 5, 2023 by TashiWalde
1
Quantification on subshapes forgets the super-shape
#128 opened Oct 4, 2023 by kyoDralliam
1
Create a cachix cache
#127 opened Oct 3, 2023 by deemp
3
Higher inductive types
#113 opened Sep 30, 2023 by jonweinb
Products don't work for subshapes
#111 opened Sep 28, 2023 by TashiWalde
1
Subshapes
#110 opened Sep 28, 2023 by emilyriehl
@fizruk
Allow chains of equations
#97 opened Sep 23, 2023 by fizruk
ProTip! Adding no:label will show everything without a label.