Popularity
2.3
Declining
Activity
0.0
Stable
2
2
0

README

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.