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

Remove decimal output from Disco
#407 opened Oct 31, 2024 by byorgey
Fix warnings
#404 opened Oct 11, 2024 by byorgey
Incorrect formatting of decimal values A-Confirmed Definitely a bug C-Moderate Effort Should take a moderate amount of time to address. S-Nice to have Minor importance U-Pretty Printing Z-Bug
#400 opened Aug 16, 2024 by reidst
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
Allow parsing LaTeX syntax C-Low Hanging Fruit Shouldn't take too much time; ideal issues for new contributors. S-Nice to have Minor importance U-Parsing Z-Student Good project for a student.
#371 opened Jan 12, 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
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
Literate Disco C-Project A larger project that may take multiple days. S-Moderate Moderate importance 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 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! Type g p on any issue or pull request to go back to the pull request listing page.