@hackage / type-level-natural-number-operations

Basic operations on type-level natural numbers.

Latest1.0

About

Metadata

  • Last updated , by GregoryCrosswhite
  • License BSD-3-Clause
  • Categories Type System

  • Maintained by: Gregory Crosswhite <gcross@phys.washington.edu>

  • Lottery factor: 0

Links

Installation

Readme

This package provides some basic operations that do not require the UndecideableInstances extension on type-level natural numbers. Specifically, this package provides the Plus and Minus type functions.