puffnfresh/purescript-these
Data type ismorphic to α ∨ β ∨ (α ∧ β)
Public GitHub Catalog
Discovered Oct 31, 2026
puffnfresh / domain-tasmanian
Real estate advertised
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.
#43745114GitHub System ID
puffnfreshOrganization / User
PublicVisibility
ActiveCatalog Status
More from puffnfresh
puffnfresh/binary
Efficient, pure binary serialisation using ByteStrings in Haskell.
puffnfresh/Haskell-Morte-Library
A bare-bones calculus-of-constructions
puffnfresh/aws
Amazon Web Services for Haskell