@hackage dependent-sum0.2

Dependent sum type

Categories
License
LicenseRef-PublicDomain
Maintainer
James Cook <mokus@deepbondi.net>
Links
Versions
- 0.7.2.0 Mon, 20 Nov 2023
- 0.7.1.1 Mon, 12 Dec 2022
- 0.7.1.0 Tue, 28 Dec 2021
- 0.7.0.0 Tue, 24 Mar 2020
- 0.6.2.2 Tue, 24 Mar 2020
- 0.6.2.0 Fri, 9 Aug 2019

Installation
In your cabal file:
Dependencies (1)
- base >=3 && <4.7
Dependents (72)
@hackage/codeworld-api, @hackage/dependent-sum-template, @hackage/tinytools, @hackage/aeson-gadt-th, @hackage/parsley-core, @hackage/typerep-map, Show all…

Dependent sums and supporting typeclasses for comparing and formatting them.