Directory listing for disco-0.1.6 source tarball
disco-0.1.6/
- CHANGELOG.md
- LICENSE
- README.md
- Setup.hs
- disco.cabal
- stack.yaml
- docs/
- tutorial/
- example/
- arith-pattern.disco
- basic-ellipsis.disco
- basics.disco
- case-pattern.disco
- case.disco
- comment.disco
- comprehension.disco
- doc.disco
- function-desugar.disco
- function.disco
- general-ellipsis.disco
- higher-order.disco
- let.disco
- list.disco
- multi-arg-functions.disco
- pair.disco
- poly.disco
- property.disco
- sum.disco
- tydefs-poly.disco
- tydefs.disco
- unit-test.disco
- example/
- tutorial/
- example/
- lib/
- repl/
- src/
- test/
- README.md
- Tests.hs
- arith-basic-bin/
- arith-basic-un/
- arith-count/
- arith-numthry/
- arith-prim/
- arith-round/
- case-arith/
- case-basic/
- case-let/
- compile-cons/
- compile-misc/
- containers-cmp/
- containers-comp/
- containers-convert/
- containers-each/
- containers-ellipsis/
- containers-filter/
- containers-join/
- containers-merge/
- containers-ops/
- containers-reduce/
- error-ambiguous/
- error-cyclic/
- error-duplicatedecls/
- error-duplicatedefns/
- error-duplicatetydefns/
- error-emptycase/
- error-names/
- error-nonlinear/
- error-notcon/
- error-notype/
- error-numpatterns/
- error-parse-RHS/
- error-pattype/
- error-polyrec/
- error-qualskolem/
- error-tyargs/
- error-unbound/
- error-unboundtyvar/
- error-unqual/
- error-unqual-base/
- error-wildcard/
- graphs-basic/
- graphs-equality/
- interp-loop/
- interp-strictmatch/
- list-comp/
- list-poly/
- logic-bools/
- logic-cmp/
- map-basic/
- map-compare/
- module-basic/
- module-cycle/
- module-notfound/
- parse-245/
- parse-280/
- parse-320/
- parse-case-expr/
- parse-nested-list/
- parse-patguard/
- parse-quantifiers/
- parse-top-term/
- poly-bad/
- poly-infer-sort/
- poly-instantiate/
- poly-rectype/
- pretty-defn/
- pretty-functions/
- pretty-lit/
- pretty-ops/
- pretty-pattern/
- pretty-torture/
- pretty-type/
- pretty-whnf/
- prim-crash/
- prim-frac/
- prim-sum/
- prop-basic/
- prop-binary/
- prop-cmp/
- prop-fail/
- prop-fairness/
- prop-higher-order/
- prop-holds/
- prop-impredicative/
- prop-tests/
- prop-type/
- repl-ann/
- repl-compile/
- repl-defn/
- repl-defns/
- repl-desugar/
- repl-doc/
- repl-eval-tydef-import/
- repl-help/
- repl-import/
- repl-names/
- repl-proptest/
- solver-issue112/
- syntax-abs/
- syntax-chain/
- syntax-clause/
- syntax-comment/
- syntax-containers/
- syntax-decimals/
- syntax-doc/
- syntax-ellipsis/
- syntax-exts/
- syntax-juxt-app/
- syntax-juxt-mul/
- syntax-lambda/
- syntax-lambda-pat/
- syntax-let/
- syntax-many-args/
- syntax-many-clauses/
- syntax-patclause/
- syntax-prims/
- syntax-tuples/
- syntax-types/
- types-192/
- types-306/
- types-357/
- types-bind/
- types-char-string/
- types-compare/
- types-container/
- types-kinds/
- types-naked-ops/
- types-numpats/
- types-ops/
- types-rational/
- types-rec/
- types-squash/
- types-standalone-ops/
- types-toomanypats/
- types-tydef-bad/
- types-tydef-kind/
- types-tydef-param/
- types-tydef-qual/
- types-tydefs/