@hackage equational-reasoning0.0.4.0

Proof assistant for Haskell using DataKinds & PolyKinds

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
konn.jinro_at_gmail.com
Links
- Documentation
- No source repository
Versions
- 0.7.0.3 Fri, 17 May 2024
- 0.7.0.2 Fri, 17 May 2024
- 0.7.0.1 Mon, 20 Mar 2023
- 0.7.0.0 Sun, 6 Jun 2021
- 0.6.0.4 Mon, 18 Jan 2021
- 0.6.0.3 Mon, 18 May 2020

Installation
In your cabal file:
Dependencies (5)
- base >=4.6 && <4.7
- template-haskell >=2.8 && <2.9
- singletons >=0.8 && <0.9
- tagged >=0.6 && <0.7
- void >=0.6 && <0.7
Dependents (10)
@hackage/half-space, @hackage/sized, @hackage/manifolds-core, @hackage/acme-everything, @hackage/manifolds, @hackage/sized-vector, Show all…