puffnfresh/purescript-these
Data type ismorphic to α ∨ β ∨ (α ∧ β)
Public GitHub Catalog
Discovered Oct 31, 2026
puffnfresh / Haskell-Morte-Library
A bare-bones calculus-of-constructions
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#44745321GitHub System ID
puffnfreshOrganization / User
PublicVisibility
ActiveCatalog Status
More from puffnfresh
puffnfresh/binary
Efficient, pure binary serialisation using ByteStrings in Haskell.
puffnfresh/domain-tasmanian
Real estate advertised
puffnfresh/aws
Amazon Web Services for Haskell