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

48 Open 216 Closed
48 Open 216 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

PTup_ should take a NonEmpty list of patterns
#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. U-Parsing
#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
1
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-Moderate Effort Should take a moderate amount of time to address. 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 S-Nice to have Minor importance Z-Research Project
#351 opened Apr 16, 2022 by byorgey
1
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 Z-Bug
#349 opened Apr 8, 2022 by byorgey
3
Size-indexed count C-Project A larger project that may take multiple days. S-Nice to have Minor importance U-Language Design Z-Feature Request Z-Research Project
#347 opened Mar 19, 2022 by byorgey
1
Special error message for pre- or postfix operators immediately next to other operators C-Low Hanging Fruit Shouldn't take too much time; ideal issues for new contributors. S-Nice to have Minor importance U-Parsing Z-Bug
#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-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
1
Haddock-like output for disco 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 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
Remove enumeration of infinite types 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
#294 opened Jun 27, 2021 by byorgey
3
Bad parse error message when defining reserved word 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
Get rid of built-in list cons operator? 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
#281 opened Jun 22, 2021 by byorgey
2
Built-in function composition operator C-Moderate Effort Should take a moderate amount of time to address. S-Nice to have Minor importance U-Language Design U-Standard Library Z-Feature Request
#254 opened Oct 8, 2020 by byorgey
1
Unicode causes printing errors on Windows A-Under Review C-Low Hanging Fruit Shouldn't take too much time; ideal issues for new contributors. S-Nice to have Minor importance U-UI Z-Bug
#253 opened Sep 21, 2020 by ericpinter
3
Mechanism for configuring the number of tests run when doing randomized search C-Moderate Effort Should take a moderate amount of time to address. S-Nice to have Minor importance U-Testing Z-Feature Request
#244 opened Jul 16, 2020 by byorgey
1
Tutorial(s) for new programmers C-Project A larger project that may take multiple days. S-Critical Critical importance Z-Documentation
#238 opened Jul 12, 2020 by byorgey
@byorgey
2
Syntax for marking a top-level Bool or Prop as a test? C-Moderate Effort Should take a moderate amount of time to address. S-Nice to have Minor importance U-Syntax U-Testing Z-Feature Request Z-Student Good project for a student.
#191 opened Jun 5, 2020 by byorgey
4
Language extension to allow qualified polymorphic types in top-level type signatures C-Project A larger project that may take multiple days. S-Moderate Moderate importance U-Constraint Solving U-Language Design U-Type Checking Z-Feature Request
#179 opened Oct 2, 2019 by byorgey
@byorgey
12
ProTip! Exclude everything labeled bug with -label:bug.