Giters

gcross / type-level-natural-number

Simple, Haskell 2010-compatible type-level natural numbers for Haskell.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Simple, Haskell 2010-compatible type-level natural numbers for Haskell.

License:BSD 2-Clause "Simplified" License

Languages

Language:Haskell 100.0%