The fast-nats package

[ Tags: data, library, mit ] [ Propose Tags ]

Dependent Singleton like natural numbers without the Singleton dependency. The implementation uses inductive naturals at the type level but machine integers at the term level.

Properties

Versions 0.1.0.0, 0.1.0.1
Dependencies base (==4.9.*) [details]
License MIT
Author Kyle McKean
Maintainer mckean.kylej@gmail.com
Category Data
Bug tracker https://github.com/mckeankylej/fast-nats/issues
Source repository head: git clone https://github.com/mckeankylej/fast-nats
Uploaded Sat Dec 24 18:20:52 UTC 2016 by mckeankylej
Distributions NixOS:0.1.0.1
Downloads 123 total (6 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees