Gentoo Portage Overlays - dev-haskell/equational-reasoning

Newest News Repository news GLSAs Browse USE Flags Overlays More...

dev-haskell/equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

Screenshots

http://hackage.haskell.org/package/equational-reasoning

equational-reasoning-0.2.0.7

~amd64 ~x86

doc hscolour profile

View

Download

Browse License: BSD

Overlay: booboo (layman)

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs