Skip to content

Issues: hackworthltd/primer

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

265 Open 151 Closed
265 Open 151 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

Investigate weeder-nix Nix Nix- or nixpkgs-related
#1253 opened Apr 27, 2024 by dhess
@dhess
Interpreter can't reduce top-level definitions bug 🐞 A confirmed bug primer Specific to the primer package priority: high This issue has high priority
#1247 opened Apr 20, 2024 by dhess
3 tasks done
@dhess
RecordPair TyConName ValConName does not serialize nicely in the OpenAPI API bug 🐞 A confirmed bug serialization Serialization (e.g., to/from JSON)
#1246 opened Apr 20, 2024 by dhess
@dhess
tasty_multiple_requests_accepted property test failures blocked/need-info ❌ Blocked, need more information CI CI-related testing Related to tests/testing
#1243 opened Apr 17, 2024 by dhess
@dhess
2
tasty_redex_independent property test failure blocked/need-info ❌ Blocked, need more information testing Related to tests/testing
#1242 opened Apr 16, 2024 by dhess
@dhess
tasty_two_interp_agree property test failure blocked/need-info ❌ Blocked, need more information bug 🐞 A confirmed bug CI CI-related eval Evaluation issue testing Related to tests/testing
#1240 opened Apr 15, 2024 by dhess
@dhess
4
Duplication in interpreter implementation
#1237 opened Apr 14, 2024 by dhess
primer-service: look into RFC 9457 primer-service Specific to the primer-service package
#1236 opened Apr 14, 2024 by dhess
@dhess
Only run Wasm tests on merge queue or workflow dispatch CI CI-related testing Related to tests/testing wasm WebAssembly
#1222 opened Apr 7, 2024 by dhess
@dhess
2
Compile Primer programs to Wasm long-term goal A long-term goal, but not attached to a particular milestone yet tracking This is a tracking issue
#1200 opened Jan 9, 2024 by dhess
Property test failure (possibly Wasm-related?) blocked/need-info ❌ Blocked, need more information bug 🐞 A confirmed bug testing Related to tests/testing wasm WebAssembly
#1198 opened Jan 7, 2024 by dhess
@dhess
1
Future work on interpreter enhancement New feature or request triage This issue needs triage
#1194 opened Nov 30, 2023 by brprice
When looking for matches for holes, prefer local bindings over top-level/in-scope module binding blocked/need-info ❌ Blocked, need more information enhancement New feature or request UX UX issue
#1193 opened Nov 30, 2023 by dhess
@dhess
More robust Wasm support tracking This is a tracking issue wasm WebAssembly
#1192 opened Nov 30, 2023 by dhess
2 of 4 tasks
@dhess
Are we building (should we build) dependencies with -O2 blocked/need-info ❌ Blocked, need more information easy Should be straightforward to fix Haskell Haskell-related question This issue is a question, not a bug or feature request
#1188 opened Nov 29, 2023 by dhess
@dhess
Investigate new Hazel papers
#1181 opened Nov 27, 2023 by dhess
MakeVarSat action can introduce shadowing triage This issue needs triage
#1180 opened Nov 22, 2023 by brprice
3 tasks done
@brprice
Animations
#1173 opened Nov 14, 2023 by georgefst
3
Real number representation enhancement New feature or request
#1171 opened Nov 8, 2023 by dhess
Should consistentTypes compare kinds up to holes? core Core issue question This issue is a question, not a bug or feature request
#1146 opened Sep 19, 2023 by brprice
1
More actions on kinds enhancement New feature or request
#1145 opened Sep 19, 2023 by brprice Primer (implementation) 1.0
@brprice
More flexible typedef editing tracking This is a tracking issue
#1142 opened Sep 12, 2023 by georgefst
1 of 6 tasks
Duplicate typedef action enhancement New feature or request triage This issue needs triage
#1141 opened Sep 12, 2023 by georgefst
1
How to avoid deleting students' work question This issue is a question, not a bug or feature request tracking This is a tracking issue
#1133 opened Sep 5, 2023 by georgefst
3
Move viewTree* into primer API API issue blocked/need-info ❌ Blocked, need more information core Core issue priority: high This issue has high priority
#1127 opened Aug 30, 2023 by dhess
@dhess
ProTip! Type g i on any issue or pull request to go back to the issue listing page.