@hackage primes-type0.2.0.0

Type-safe prime numbers.

This library provides type safe prime numbers. The idea is based upon the concept of a predicate type from type theory.