primes-type

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

That is, the value of any object of type Integral a => Prime a is a prime number.