@hackage/QuickCheck
Automatic testing of Haskell programs
@hackage/extra
Extra functions I use.
@hackage/aern2-mfun
Multi-variate real function optimisation and proving
@hackage/base
Core data structures and operations
@hackage/collect-errors
Error monad with a Float instance
@hackage/temporary
Portable temporary file and directory support
@hackage/scientific
Numbers represented using scientific notation
@hackage/containers
Assorted concrete container types
@hackage/process
Process libraries
@hackage/binary
Binary serialisation for Haskell values using lazy ByteStrings
@hackage/mixed-types-num
Alternative Prelude with numeric and logic expressions typed bottom-up
@hackage/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@hackage/optparse-applicative
Utilities and combinators for parsing command line options
@hackage/ghc
The GHC API
@hackage/aern2-mp
Multi-precision ball (interval) arithmetic
@hackage/regex-tdfa
Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)
@hackage/directory
Platform-agnostic library for filesystem operations
@hackage/QuickCheck
Automatic testing of Haskell programs
@hackage/extra
Extra functions I use.
@hackage/PropaFP
Auto-active verification of floating-point programs
@hackage/aern2-mfun
Multi-variate real function optimisation and proving
@hackage/base
Core data structures and operations
@hackage/collect-errors
Error monad with a Float instance
@hackage/temporary
Portable temporary file and directory support
@hackage/scientific
Numbers represented using scientific notation
@hackage/containers
Assorted concrete container types
@hackage/process
Process libraries
@hackage/binary
Binary serialisation for Haskell values using lazy ByteStrings
@hackage/mixed-types-num
Alternative Prelude with numeric and logic expressions typed bottom-up
@hackage/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@hackage/optparse-applicative
Utilities and combinators for parsing command line options
@hackage/ghc
The GHC API
@hackage/aern2-mp
Multi-precision ball (interval) arithmetic
@hackage/regex-tdfa
Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)
@hackage/directory
Platform-agnostic library for filesystem operations
@hackage/QuickCheck
Automatic testing of Haskell programs
@hackage/extra
Extra functions I use.
@hackage/PropaFP
Auto-active verification of floating-point programs
@hackage/aern2-mfun
Multi-variate real function optimisation and proving
@hackage/base
Core data structures and operations
@hackage/collect-errors
Error monad with a Float instance
@hackage/temporary
Portable temporary file and directory support
@hackage/scientific
Numbers represented using scientific notation
@hackage/containers
Assorted concrete container types
@hackage/process
Process libraries
@hackage/binary
Binary serialisation for Haskell values using lazy ByteStrings
@hackage/mixed-types-num
Alternative Prelude with numeric and logic expressions typed bottom-up
@hackage/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@hackage/optparse-applicative
Utilities and combinators for parsing command line options
@hackage/ghc
The GHC API
@hackage/aern2-mp
Multi-precision ball (interval) arithmetic
@hackage/regex-tdfa
Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)
@hackage/directory
Platform-agnostic library for filesystem operations
@hackage/QuickCheck
Automatic testing of Haskell programs
@hackage/extra
Extra functions I use.
@hackage/PropaFP
Auto-active verification of floating-point programs
@hackage/aern2-mfun
Multi-variate real function optimisation and proving
@hackage/base
Core data structures and operations
@hackage/collect-errors
Error monad with a Float instance
@hackage/temporary
Portable temporary file and directory support
@hackage/scientific
Numbers represented using scientific notation
@hackage/containers
Assorted concrete container types
@hackage/process
Process libraries
@hackage/binary
Binary serialisation for Haskell values using lazy ByteStrings
@hackage/mixed-types-num
Alternative Prelude with numeric and logic expressions typed bottom-up
@hackage/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@hackage/optparse-applicative
Utilities and combinators for parsing command line options
@hackage/ghc
The GHC API
@hackage/aern2-mp
Multi-precision ball (interval) arithmetic
@hackage/regex-tdfa
Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)
@hackage/directory
Platform-agnostic library for filesystem operations
@hackage/QuickCheck
Automatic testing of Haskell programs
@hackage/extra
Extra functions I use.
@hackage/PropaFP
Auto-active verification of floating-point programs
@hackage/aern2-mfun
Multi-variate real function optimisation and proving
@hackage/base
Core data structures and operations
@hackage/collect-errors
Error monad with a Float instance
@hackage/temporary
Portable temporary file and directory support
@hackage/scientific
Numbers represented using scientific notation
@hackage/containers
Assorted concrete container types
@hackage/process
Process libraries
@hackage/binary
Binary serialisation for Haskell values using lazy ByteStrings
@hackage/mixed-types-num
Alternative Prelude with numeric and logic expressions typed bottom-up
@hackage/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@hackage/optparse-applicative
Utilities and combinators for parsing command line options
@hackage/ghc
The GHC API
@hackage/aern2-mp
Multi-precision ball (interval) arithmetic
@hackage/regex-tdfa
Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)
@hackage/directory
Platform-agnostic library for filesystem operations
@hackage/QuickCheck
Automatic testing of Haskell programs
@hackage/extra
Extra functions I use.
@hackage/PropaFP
Auto-active verification of floating-point programs
@hackage/aern2-mfun
Multi-variate real function optimisation and proving
@hackage/base
Core data structures and operations
@hackage/collect-errors
Error monad with a Float instance
@hackage/temporary
Portable temporary file and directory support
@hackage/scientific
Numbers represented using scientific notation
@hackage/containers
Assorted concrete container types
@hackage/process
Process libraries
@hackage/binary
Binary serialisation for Haskell values using lazy ByteStrings
@hackage/mixed-types-num
Alternative Prelude with numeric and logic expressions typed bottom-up
@hackage/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@hackage/optparse-applicative
Utilities and combinators for parsing command line options
@hackage/ghc
The GHC API
@hackage/aern2-mp
Multi-precision ball (interval) arithmetic
@hackage/regex-tdfa
Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)
@hackage/directory
Platform-agnostic library for filesystem operations
@hackage/QuickCheck
Automatic testing of Haskell programs
@hackage/extra
Extra functions I use.
@hackage/PropaFP
Auto-active verification of floating-point programs
@hackage/aern2-mfun
Multi-variate real function optimisation and proving
@hackage/base
Core data structures and operations
@hackage/collect-errors
Error monad with a Float instance
@hackage/temporary
Portable temporary file and directory support
@hackage/scientific
Numbers represented using scientific notation
@hackage/containers
Assorted concrete container types
@hackage/process
Process libraries
@hackage/binary
Binary serialisation for Haskell values using lazy ByteStrings
@hackage/mixed-types-num
Alternative Prelude with numeric and logic expressions typed bottom-up
@hackage/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@hackage/optparse-applicative
Utilities and combinators for parsing command line options
@hackage/ghc
The GHC API
@hackage/aern2-mp
Multi-precision ball (interval) arithmetic
@hackage/regex-tdfa
Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)
@hackage/directory
Platform-agnostic library for filesystem operations
@hackage/QuickCheck
Automatic testing of Haskell programs
@hackage/extra
Extra functions I use.
@hackage/PropaFP
Auto-active verification of floating-point programs
@hackage/aern2-mfun
Multi-variate real function optimisation and proving
@hackage/base
Core data structures and operations
@hackage/collect-errors
Error monad with a Float instance
@hackage/temporary
Portable temporary file and directory support
@hackage/scientific
Numbers represented using scientific notation
@hackage/containers
Assorted concrete container types
@hackage/process
Process libraries
@hackage/binary
Binary serialisation for Haskell values using lazy ByteStrings
@hackage/mixed-types-num
Alternative Prelude with numeric and logic expressions typed bottom-up
@hackage/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@hackage/optparse-applicative
Utilities and combinators for parsing command line options
@hackage/ghc
The GHC API
@hackage/aern2-mp
Multi-precision ball (interval) arithmetic
@hackage/regex-tdfa
Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)
@hackage/directory
Platform-agnostic library for filesystem operations