Popularity
3.0
Growing
Activity
0.0
Stable
2
3
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.