The dependent-sum package

[ Tags: data, dependent-types, library, public-domain ] [ Propose Tags ]

Dependent sums and supporting typeclasses for comparing and formatting them.

Properties

Versions 0.1, 0.2, 0.2.0.1, 0.2.0.2, 0.2.1.0, 0.3.1.0, 0.3.2.0, 0.3.2.1, 0.3.2.2, 0.4
Dependencies base (>=3 && <4.7) [details]
License PublicDomain
Author James Cook <mokus@deepbondi.net>
Maintainer James Cook <mokus@deepbondi.net>
Category Data, Dependent Types
Home page https://github.com/mokus0/dependent-sum
Source repository head: git clone git://github.com/mokus0/dependent-sum.git
Uploaded Wed Aug 10 14:41:32 UTC 2011 by JamesCook
Updated Sat Dec 3 14:18:56 UTC 2016 by HerbertValerioRiedel to revision 1
Distributions Debian:0.2.1.0, LTSHaskell:0.4, NixOS:0.4, Stackage:0.4, Tumbleweed:0.4
Downloads 5167 total (70 in the last 30 days)
Rating 2.0 (1 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