puffnfresh/purescript-these
Data type ismorphic to α ∨ β ∨ (α ∧ β)
Efficient, pure binary serialisation using ByteStrings in Haskell.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Data type ismorphic to α ∨ β ∨ (α ∧ β)
A bare-bones calculus-of-constructions
Real estate advertised
Amazon Web Services for Haskell