Issues

• Monoid comprehensions

  C-ProjectS-Nice to haveZ-Feature RequestZ-Research Project
  disco-lang/disco#455 · Filter by author byorgey opened on Mar 21, 2026

• :doc should produce help text for each and filter

  disco-lang/disco#454 · Filter by author byorgey opened on Mar 18, 2026

• :table command should print column headings

  disco-lang/disco#453 · Filter by author byorgey opened on Feb 4, 2026

• Built-in relation type

  C-ProjectS-Nice to haveU-Language DesignZ-Feature RequestZ-Research ProjectZ-Student
  disco-lang/disco#443 · Filter by author byorgey opened on Mar 10, 2025

• Pretty-printing quantifiers should print type annotation on variable

  disco-lang/disco#441 · Filter by author byorgey opened on Feb 3, 2025

• Show documentation when typing a bare word like Int?

  disco-lang/disco#439 · Filter by author byorgey opened on Jan 22, 2025

• Resugar empty list patterns at type List(Char) to "" in coverage warnings

  disco-lang/disco#436 · Filter by author byorgey opened on Jan 21, 2025

• Update installation instructions

  C-Low Hanging FruitS-CriticalZ-Documentation
  disco-lang/disco#433 · Filter by author byorgey opened on Jan 7, 2025

• Add documentation for built-in functions in :doc output

  C-Low Hanging FruitS-ModerateZ-Documentation
  disco-lang/disco#418 · Filter by author byorgey opened on Dec 25, 2024

• Get CI running on Windows

  C-Low Hanging FruitS-Nice to haveZ-CI
  disco-lang/disco#414 · Filter by author byorgey opened on Dec 11, 2024

• Update CI so it does not run 2 copies of each job on PRs

  C-Low Hanging FruitS-Nice to haveZ-CI
  disco-lang/disco#413 · Filter by author byorgey opened on Dec 11, 2024

• format primitive for turning values into pretty-printed strings

  C-Moderate EffortS-Nice to haveZ-Feature Request
  disco-lang/disco#411 · Filter by author byorgey opened on Dec 4, 2024

• Crash when finding size of graph

  A-ConfirmedS-Nice to haveZ-Bug
  disco-lang/disco#399 · Filter by author byorgey opened on Jul 19, 2024
  

• 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 FruitS-Nice to haveZ-Feature RequestZ-Student
  Feature

  disco-lang/disco#398 · Filter by author byorgey opened on Jul 19, 2024
  

• Get rid of unevaluated memory cells

  C-Low Hanging FruitS-Nice to haveU-InterpreterZ-Refactoring
  disco-lang/disco#392 · Filter by author byorgey opened on Jun 20, 2024
  

• PTup_ should take a NonEmpty list of patterns

  C-Low Hanging FruitS-Nice to haveZ-RefactoringZ-Student
  disco-lang/disco#387 · Filter by author byorgey opened on May 25, 2024

• Ability to use sets as domains for forall and exists

  C-ProjectS-Nice to haveU-Language DesignU-TestingZ-Feature Request
  disco-lang/disco#356 · Filter by author byorgey opened on Nov 12, 2022
  3

• Get rid of fraction arithmetic patterns

  C-Low Hanging FruitS-Nice to haveZ-Student
  disco-lang/disco#351 · Filter by author byorgey opened on Apr 16, 2022
  3

• Parentheses should imply that juxtaposition is function application

  C-Moderate EffortS-ModerateU-ParsingU-SyntaxZ-Bug
  disco-lang/disco#349 · Filter by author byorgey opened on Apr 8, 2022
  3

• Special error message for pre- or postfix operators immediately next to other operators

  C-Moderate EffortS-Nice to haveU-Error ReportingU-ParsingZ-Feature RequestZ-Pedagogy
  disco-lang/disco#345 · Filter by author byorgey opened on Mar 10, 2022
  4

• Optionally labelled tests

  C-Moderate EffortS-ModerateU-Error ReportingU-ParsingU-TestingZ-Feature RequestZ-Student
  disco-lang/disco#342 · Filter by author byorgey opened on Mar 5, 2022
  1

• Literate Disco

  C-ProjectS-ModerateU-ParsingU-Pretty PrintingZ-DocumentationZ-Pedagogy
  disco-lang/disco#339 · Filter by author byorgey opened on Mar 5, 2022
  2

• Haddock-like HTML output for disco documentation

  C-ProjectS-ModerateU-Standard LibraryZ-DocumentationZ-Feature Request
  disco-lang/disco#327 · Filter by author byorgey opened on Feb 11, 2022
  1

• Make user-defined types enumerable + searchable

  C-ProjectS-Nice to haveU-Constraint SolvingU-InterpreterZ-Feature RequestZ-Research Project
  disco-lang/disco#318 · Filter by author byorgey opened on Jan 21, 2022
  5

• Handle enumeration of infinite types

  A-ConfirmedC-Moderate EffortS-Nice to haveU-InterpreterU-Type CheckingZ-Feature Request
  disco-lang/disco#309 · Filter by author byorgey opened on Jan 6, 2022
  3