Search on FloraAboutCategoriesPackages
Flora :: [Package]
Search on FloraAboutDocumentationCategoriesPackagesLogin

@hackage free-theorems-counterexamples dependencies

12 results

    library:free-theorems-counterexamples (8 dependencies)

  • @haskell/mtl

    Monad classes for transformers, using functional dependencies

    BSD-3-Clause>=1.0
  • @haskell/containers

    Assorted concrete container types

    BSD-3-Clause>=0.1.0.1
  • @haskell/base

    Core data structures and operations

    BSD-3-Clause>=1 && <4
  • @hackage/syb

    Scrap Your Boilerplate

    BSD-3-Clause>=0.1.0.0
  • @hackage/pretty

    Pretty-printing library

    BSD-3-Clause>=1.0.0.0
  • @hackage/haskell-src-exts

    Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

    BSD-3-Clause>=0.3.9
  • @hackage/haskell-src

    Support for manipulating Haskell source code

    BSD-3-Clause>=1.0
  • @hackage/HUnit

    A unit testing framework for Haskell

    BSD-3-Clause>=1.2
  • executable:counterexamples.cgi (4 dependencies)

  • @hackage/xhtml

    An XHTML combinator library

    BSD-3-Clause
  • @hackage/utf8-string

    Support for reading and writing UTF8 Strings

    BSD-3-Clause
  • @hackage/free-theorems

    Automatic generation of free theorems.

    LicenseRef-PublicDomain>=0.3.1.3
  • @hackage/cgi

    A library for writing CGI programs

    BSD-3-Clause