@hackage fin dependencies

12 results

Deep evaluation of data structures

Core data structures and operations

A Haskell 98 logically uninhabited data type

Anything that associates

Natural numbers

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

Decidable propositions.

Bifunctors

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