purescript-naturals

March 27, 2017 ยท View on GitHub

Build status

Natural numbers backed by integers hidden behind a smart constructor.