Issues
- 0
Crash when finding size of graph
#399 opened 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 by byorgey - 0
Get rid of unevaluated memory cells
#392 opened by byorgey - 0
- 3
`2f(n)` parses as `2 * f * n`
#349 opened by byorgey - 0
`PTup_` should take a `NonEmpty` list of patterns
#387 opened by byorgey - 0
Zero to a negative exponent crashes Disco
#379 opened by byorgey - 1
Size-indexed `count`
#347 opened by byorgey - 3
Way to provide "hints" for existentials
#337 opened by byorgey - 0
Drop dependency on `polysemy-zoo`
#375 opened by byorgey - 2
Desugar `==` to `=!=` if it is used at type `Prop`
#363 opened by byorgey - 1
Tests that crash don't print counterexamples
#364 opened by byorgey - 1
Switch to `oeis2`
#367 opened by byorgey - 1
- 1
Haddock-like output for disco
#327 opened by byorgey - 2
- 1
- 1
Primitive for suspending typechecking
#360 opened by byorgey - 5
Make user-defined types searchable
#318 opened by byorgey - 0
Consider allowing T/F as syntax for booleans
#373 opened by byorgey - 1
Literate Disco
#339 opened by byorgey - 0
Allow parsing LaTeX syntax
#371 opened by byorgey - 1
Allow `><` syntax for product type?
#333 opened by byorgey - 1
- 1
Ability to put tests after a definition
#342 opened by byorgey - 3
Special error message for pre- or postfix operators immediately next to other operators
#345 opened by byorgey - 3
Ability to use sets in `forall` and `exists`
#356 opened by byorgey - 0
Allow optional commas around ellipsis
#354 opened by byorgey - 1
Allow finite sets to be used as quantifier domains?
#330 opened by byorgey - 1
Bad function type signature is accepted
#357 opened by byorgey - 2
Treating types more like sets
#348 opened by archonandromeda - 1
Load standard library modules immediately on startup
#329 opened by byorgey - 0
- 2
Bad parse error messages in definitions
#346 opened by byorgey - 0
- 0
Consider collapsing `when`/`if` into a single keyword
#331 opened by byorgey - 0
- 0
- 0
- 0
Output result of top-level terms when `:load`ing
#338 opened by byorgey - 1
- 1
Add cartesian product operator for container types
#328 opened by byorgey - 1
- 1
- 1
- 0
Test result mismatches are printed in the wrong order
#323 opened by byorgey - 0
Add `<->` (iff) operator
#324 opened by byorgey - 2
- 1
- 2
Derive qualifiers for user-defined types
#317 opened by byorgey