Skip to content
This repository has been archived by the owner on Nov 18, 2023. It is now read-only.

Issues: Hihaheho/Desk

Tracking Issue for defining Desk-lang
#81 by ryo33 was closed Apr 5, 2023
Closed 1
Dependency Dashboard
#12 opened May 11, 2022 by renovate bot
Open
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

Issues list

gcref and gcmut Desk-lang
#63 opened Jan 10, 2023 by ryo33
ref type and mut type Desk-lang
#62 opened Jan 10, 2023 by ryo33
Fix subtyping of map Desk-lang 🐞 bug Something isn't working
#60 opened Jan 10, 2023 by ryo33
Π, Σ, and [t; N] Desk-lang
#58 opened Jan 6, 2023 by ryo33
Remove many clones in typeinfer 🔰 good first issue Good for newcomers Desk-lang
#52 opened Dec 27, 2022 by ryo33
Span data 🔰 good first issue Good for newcomers Desk-lang
#50 opened Dec 27, 2022 by ryo33
2 of 3 tasks
Parse 1.3 to 13/10 in parser 🔰 good first issue Good for newcomers Desk-lang
#49 opened Dec 27, 2022 by ryo33
Add tests for DeskVM ☑️ needs test cases 🙇 help wanted Extra attention is needed
#38 opened Nov 10, 2022 by ryo33
Formal specification of Desk-lang 🙇 help wanted Extra attention is needed Desk-lang
#37 opened Nov 8, 2022 by ryo33
Use bigint instead of i64 🔰 good first issue Good for newcomers
#36 opened Nov 8, 2022 by ryo33
Add (automated) sponsors section in README 🔰 good first issue Good for newcomers 🙇 help wanted Extra attention is needed
#18 opened May 20, 2022 by ryo33
Dependency Dashboard
#12 opened May 11, 2022 by renovate bot
7 tasks
Recursive Type Desk-lang
#9 opened May 2, 2022 by ryo33
1 of 2 tasks
Polymorphic effect typing 🙇 help wanted Extra attention is needed Desk-lang
#2 opened Apr 18, 2022 by ryo33
ProTip! What’s not been updated in a month: updated:<2024-04-27.