Giters

gcross / type-level-natural-number-operations

A library in Haskell providing operations on type-level natural numbers.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

A library in Haskell providing operations on type-level natural numbers.

License:BSD 2-Clause "Simplified" License

Languages

Language:Haskell 100.0%