@hackage fin dependencies

14 results

Deep evaluation of data structures

Core data structures and operations

A Haskell 98 logically uninhabited data type

A class for finite and recursively enumerable types.

Anything that associates

Natural numbers

A class for types that can be converted to a hash value

Decidable propositions.

Bifunctors

Automatic testing of Haskell programs

Core data structures and operations

Haskell 98 phantom types to avoid unsafely passing dummy arguments

GHC plugin to do inspection testing

Nat and Fin: peano naturals and finite numbers