@hackage / disco

Functional programming language for teaching discrete math.

Latest0.2

Dependencies

library:disco (34 dependencies)

@hackage / unbound-generics Support for programming with names and binders using GHC Generics
- Version: >=0.4.4 && <0.5
- License: BSD-3-Clause
@hackage / haskeline A command-line interface for user input, written in Haskell.
- Version: >=0.8 && <0.9
- License: BSD-3-Clause
@hackage / optparse-applicative Utilities and combinators for parsing command line options
- Version: >=0.12 && <0.19
- License: BSD-3-Clause
@hackage / simple-enumeration Finite or countably infinite sequences of values.
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / polysemy Higher-order, low-boilerplate free monads.
- Version: >=1.6.0.0 && <1.10
- License: BSD-3-Clause
@hackage / infinite-list Infinite lists
- Version: >=0.1 && <0.2
- License: BSD-3-Clause
@hackage / lens Lenses, Folds and Traversals
- Version: >=4.14 && <5.4
- License: BSD-2-Clause
@hackage / exceptions Extensible optionally-pure exceptions
- Version: >=0.10 && <0.11
- License: BSD-3-Clause
@hackage / QuickCheck Automatic testing of Haskell programs
- Version: >=2.9 && <2.16
- License: BSD-3-Clause
@hackage / boxes 2D text pretty-printing library
- Version: >=0.1.5 && <0.2
- License: BSD-3-Clause
@hackage / algebraic-graphs A library for algebraic graph construction and transformation
- Version: >=0.5 && <0.8
- License: MIT
@hackage / prettyprinter A modern, easy to use, well-documented, extensible pretty-printer.
- Version: >=1.7 && <1.8
- License: BSD-2-Clause
@hackage / random Pseudo-random number generation
- Version: >=1.2.1.1 && <1.3
- License: BSD-3-Clause
@hackage / integer-logarithms Integer logarithms.
- Version: >=1.0 && <1.1
- License: MIT
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version:
- License: BSD-3-Clause
@hackage / parser-combinators Lightweight package providing commonly useful parser combinators
- Version: >=1.0.0 && <1.4
- License: BSD-3-Clause
@hackage / constraints Constraint manipulation
- Version: >=0.13.4 && <0.15
- License: BSD-2-Clause
@hackage / splitmix Fast Splittable PRNG
- Version: >=0.1 && <0.2
- License: BSD-3-Clause
@hackage / edit-distance Levenshtein and restricted Damerau-Levenshtein edit distances
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2 && <2.4
- License: BSD-3-Clause
@hackage / megaparsec Monadic parser combinators
- Version: >=6.1.1 && <9.7
- License: BSD-2-Clause
@hackage / split Combinator library for splitting lists.
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / polysemy-plugin Disambiguate obvious uses of effects.
- Version: >=0.4 && <0.5
- License: BSD-3-Clause
@hackage / reflection Reifies arbitrary terms into types that can be reflected back into terms
- Version: >=2.1.7 && <2.2
- License: BSD-3-Clause
@hackage / arithmoi Efficient basic number-theoretic functions.
- Version: >=0.10 && <0.14
- License: MIT
@hackage / fgl Martin Erwig's Functional Graph Library
- Version: >=5.5 && <5.9
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=2.0.2 && <2.2
- License: BSD-2-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.4 && <0.7
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.8
- License: BSD-3-Clause
@hackage / exact-combinatorics Efficient exact computation of combinatoric functions.
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / oeis2 Interface for Online Encyclopedia of Integer Sequences (OEIS).
- Version: >=1.0.9 && <1.1
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause
@hackage / pretty-show Tools for working with derived `Show` instances and generic inspection of values.
- Version: >=1.10 && <1.11
- License: MIT
@hackage / base Core data structures and operations
- Version: >=4.8 && <4.21
- License: BSD-3-Clause

executable:disco (13 dependencies)

test:disco-examples (4 dependencies)

test:disco-tests (8 dependencies)