Skip to content

Issues: disco-lang/disco

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.

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

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Get CI running on Windows C-Low Hanging Fruit Shouldn't take too much time; ideal issues for new contributors. S-Nice to have Minor importance Z-CI Something to do with CI.
#414 opened Dec 11, 2024 by byorgey
Update CI so it does not run 2 copies of each job on PRs C-Low Hanging Fruit Shouldn't take too much time; ideal issues for new contributors. S-Nice to have Minor importance Z-CI Something to do with CI.
#413 opened Dec 11, 2024 by byorgey
format primitive for turning values into pretty-printed strings C-Moderate Effort Should take a moderate amount of time to address. S-Nice to have Minor importance Z-Feature Request
#411 opened Dec 4, 2024 by byorgey
Remove decimal output from Disco
#407 opened Oct 31, 2024 by byorgey
Fix warnings
#404 opened Oct 11, 2024 by byorgey
Crash when finding size of graph A-Confirmed Definitely a bug S-Nice to have Minor importance Z-Bug
#399 opened Jul 19, 2024 by byorgey
Error while evaluating a function for :table should exclude a row or show a special error row, not kill the whole table C-Low Hanging Fruit Shouldn't take too much time; ideal issues for new contributors. S-Nice to have Minor importance Z-Feature Request Z-Student Good project for a student.
#398 opened Jul 19, 2024 by byorgey
Get rid of unevaluated memory cells C-Low Hanging Fruit Shouldn't take too much time; ideal issues for new contributors. S-Nice to have Minor importance U-Interpreter Z-Refactoring
#392 opened Jun 20, 2024 by byorgey
Add link to symbols page from any relevant :doc output C-Low Hanging Fruit Shouldn't take too much time; ideal issues for new contributors. Z-Documentation Z-Student Good project for a student.
#389 opened May 29, 2024 by byorgey
PTup_ should take a NonEmpty list of patterns C-Low Hanging Fruit Shouldn't take too much time; ideal issues for new contributors. S-Nice to have Minor importance Z-Refactoring Z-Student Good project for a student.
#387 opened May 25, 2024 by byorgey
Switch to oeis2 C-Moderate Effort Should take a moderate amount of time to address. S-Nice to have Minor importance
#367 opened May 24, 2023 by byorgey
Tests that crash don't print counterexamples C-Moderate Effort Should take a moderate amount of time to address. S-Nice to have Minor importance U-Testing
#364 opened May 24, 2023 by byorgey
Desugar == to =!= if it is used at type Prop C-Project A larger project that may take multiple days. S-Nice to have Minor importance Z-Feature Request Z-Student Good project for a student.
#363 opened Mar 6, 2023 by byorgey
Ability to use sets in forall and exists C-Project A larger project that may take multiple days. S-Nice to have Minor importance U-Language Design U-Testing Z-Feature Request
#356 opened Nov 12, 2022 by byorgey
Get rid of fraction arithmetic patterns C-Moderate Effort Should take a moderate amount of time to address. S-Nice to have Minor importance Z-Student Good project for a student.
#351 opened Apr 16, 2022 by byorgey
2f(n) parses as 2 * f * n C-Moderate Effort Should take a moderate amount of time to address. S-Moderate Moderate importance U-Parsing U-Syntax Z-Bug
#349 opened Apr 8, 2022 by byorgey
Labelled tests C-Moderate Effort Should take a moderate amount of time to address. S-Moderate Moderate importance U-Error Reporting U-Parsing U-Testing Z-Feature Request Z-Student Good project for a student.
#342 opened Mar 5, 2022 by byorgey
Literate Disco C-Project A larger project that may take multiple days. S-Moderate Moderate importance U-Parsing U-Pretty Printing Z-Documentation Z-Pedagogy
#339 opened Mar 5, 2022 by byorgey
Parse arguments to :load the same way the shell does C-Moderate Effort Should take a moderate amount of time to address. S-Nice to have Minor importance U-Parsing Z-Feature Request Z-Student Good project for a student.
#322 opened Jan 27, 2022 by byorgey
Handle enumeration of infinite types properly A-Confirmed Definitely a bug C-Moderate Effort Should take a moderate amount of time to address. S-Nice to have Minor importance U-Interpreter U-Type Checking Z-Feature Request
#309 opened Jan 6, 2022 by byorgey
Flag to use only ASCII output when pretty-printing C-Moderate Effort Should take a moderate amount of time to address. S-Nice to have Minor importance U-Pretty Printing Z-Feature Request Z-Student Good project for a student.
#294 opened Jun 27, 2021 by byorgey
ProTip! Add no:assignee to see everything that’s not assigned.