# singleton-nats

[![Hackage](https://img.shields.io/hackage/v/singleton-nats.svg)](https://hackage.haskell.org/package/singleton-nats) [![Build Status](https://github.com/AndrasKovacs/singleton-nats/workflows/Haskell-CI/badge.svg)](https://github.com/AndrasKovacs/singleton-nats/actions?query=workflow%3AHaskell-CI)

Unary natural numbers relying on the singletons infrastructure.