disco-lang/disco

Issues

• Switch to `oeis2`

  #367 opened 2 years ago by byorgey
  1

• Allow parsing LaTeX syntax

  #371 opened a year ago by byorgey
  0

• Division arithmetic patterns should be more liberal wrt equality?

  #351 opened 3 years ago by byorgey
  2

• Ability to put tests after a definition

  #342 opened 3 years ago by byorgey
  1

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

  #345 opened 3 years ago by byorgey
  3

• Incorrect formatting of decimal values

  #400 opened 4 months ago by reidst
  0

• Ability to use sets in `forall` and `exists`

  #356 opened 2 years ago by byorgey
  3

• Crash when finding size of graph

  #399 opened 5 months ago by byorgey
  0

• Error while evaluating a function for `:table` should exclude a row or show a special error row, not kill the whole table

  #398 opened 5 months ago by byorgey
  0

• Get rid of unevaluated memory cells

  #392 opened 6 months ago by byorgey
  0

• Add link to symbols page from any relevant `:doc` output

  #389 opened 7 months ago by byorgey
  0

• `2f(n)` parses as `2 * f * n`

  #349 opened 3 years ago by byorgey
  3

• `PTup_` should take a `NonEmpty` list of patterns

  #387 opened 7 months ago by byorgey
  0

• Zero to a negative exponent crashes Disco

  #379 opened 7 months ago by byorgey
  0

• Size-indexed `count`

  #347 opened 3 years ago by byorgey
  1

• Way to provide "hints" for existentials

  #337 opened 7 months ago by byorgey
  3

• Drop dependency on `polysemy-zoo`

  #375 opened 7 months ago by byorgey
  0

• Desugar `==` to `=!=` if it is used at type `Prop`

  #363 opened 2 years ago by byorgey
  2

• Tests that crash don't print counterexamples

  #364 opened 2 years ago by byorgey
  1

• Nice way to print formatted function tables, or formatted lists

  #372 opened 9 months ago by byorgey
  1

• Haddock-like output for disco

  #327 opened 3 years ago by byorgey
  1

• Parse arguments to `:load` the same way the shell does

  #322 opened 3 years ago by byorgey
  2

• Multinomial coefficients should take a bag, not a list

  #352 opened 10 months ago by byorgey
  1

• Primitive for suspending typechecking

  #360 opened 10 months ago by byorgey
  1

• Make user-defined types searchable

  #318 opened 3 years ago by byorgey
  5

• Consider allowing T/F as syntax for booleans

  #373 opened a year ago by byorgey
  0

• Literate Disco

  #339 opened 3 years ago by byorgey
  1

• Allow `><` syntax for product type?

  #333 opened a year ago by byorgey
  1

• Allow optional commas around ellipsis

  #354 opened 2 years ago by byorgey
  0

• Allow finite sets to be used as quantifier domains?

  #330 opened 2 years ago by byorgey
  1

• Bad function type signature is accepted

  #357 opened 2 years ago by byorgey
  1

• Treating types more like sets

  #348 opened 3 years ago by archonandromeda
  2

• Load standard library modules immediately on startup

  #329 opened 3 years ago by byorgey
  1

• Test results should say clearly if it is definitely/possibly true/false

  #336 opened 3 years ago by byorgey
  0

• Bad parse error messages in definitions

  #346 opened 3 years ago by byorgey
  2

• Test results should be output in the order they occur in the file

  #341 opened 3 years ago by byorgey
  0

• Consider collapsing `when`/`if` into a single keyword

  #331 opened 3 years ago by byorgey
  0

• Disco crashes when an undefined variable is encountered

  #340 opened 3 years ago by byorgey
  0

• Update version in `--help` output on each release, add `--version` flag

  #332 opened 3 years ago by byorgey
  0

• "Invalid pattern" error spits out result of `show` on AST

  #334 opened 3 years ago by byorgey
  0

• Output result of top-level terms when `:load`ing

  #338 opened 3 years ago by byorgey
  0

• At least say which definition we were checking when encountering a type error

  #335 opened 3 years ago by byorgey
  1

• Add cartesian product operator for container types

  #328 opened 3 years ago by byorgey
  1

• Documentation isn't found for in-scope library functions

  #326 opened 3 years ago by byorgey
  1

• Identifiers with `not` as a prefix do not parse correctly in expressions

  #320 opened 3 years ago by byorgey
  1

• Would it make sense to add `iff` as a keyword equivalent to `<->`?

  #325 opened 3 years ago by archonandromeda
  1

• Test result mismatches are printed in the wrong order

  #323 opened 3 years ago by byorgey
  0

• Add `<->` (iff) operator

  #324 opened 3 years ago by byorgey
  0

• Relax requirement for top-level type signatures on everything?

  #319 opened 3 years ago by byorgey
  2

• Use of Q as propositional variable conflicts with rational type

  #321 opened 3 years ago by byorgey
  1