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.

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 221 Closed
50 Open 221 Closed
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
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

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
1
@byorgey
1
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
1
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
2
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
@byorgey
2
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
3
Division arithmetic patterns should be more liberal wrt equality? A-Under Review C-Project A larger project that may take multiple days. S-Nice to have Minor importance Z-Research Project
#351 opened Apr 16, 2022 by byorgey
2
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
3
Special error message for pre- or postfix operators immediately next to other operators C-Moderate Effort Should take a moderate amount of time to address. S-Nice to have Minor importance U-Error Reporting U-Parsing Z-Feature Request
#345 opened Mar 10, 2022 by byorgey
3
Ability to put tests after a definition 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
#342 opened Mar 5, 2022 by byorgey
1
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
2
Haddock-like HTML output for disco documentation C-Project A larger project that may take multiple days. S-Moderate Moderate importance U-Standard Library Z-Documentation Z-Feature Request
#327 opened Feb 11, 2022 by byorgey
1
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
2
Make user-defined types enumerable + searchable C-Project A larger project that may take multiple days. S-Nice to have Minor importance U-Constraint Solving U-Interpreter Z-Feature Request Z-Research Project
#318 opened Jan 21, 2022 by byorgey
5
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
3
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
3
Better parse error messages for reserved words used incorrectly C-Moderate Effort Should take a moderate amount of time to address. S-Nice to have Minor importance U-Error Reporting U-Parsing Z-Feature Request
#289 opened Jun 24, 2021 by byorgey
3
Allow building lists via sums and products, not just [] and :: C-Moderate Effort Should take a moderate amount of time to address. S-Moderate Moderate importance U-Desugaring U-Language Design U-Standard Library Z-Feature Request Z-Pedagogy Z-Research Project
#281 opened Jun 22, 2021 by byorgey
2
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.