@hackage universe-base1.0

A class for finite and recursively enumerable types and some helper functions for enumerating them

Categories
License
BSD-3-Clause
Maintainer
me@dmwit.com
Links
Versions
- 1.1.4 Thu, 16 May 2024
- 1.1.3.1 Sun, 15 Oct 2023
- 1.1.3 Wed, 15 Mar 2023
- 1.1.2 Sat, 9 Jan 2021
- 1.1.1 Wed, 25 Mar 2020
- 1.1 Fri, 10 May 2019

Installation
In your cabal file:
Dependencies (1)
- base >=4 && <5
Dependents (19)
@hackage/universe-instances-base, @hackage/heyting-algebras, @hackage/sign, @hackage/Fin, @hackage/universe-reverse-instances, @hackage/connections, Show all…