puffnfresh/purescript-these
Data type ismorphic to α ∨ β ∨ (α ∧ β)
Vagrant project for deploying Haskell to Heroku
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 α ∨ β ∨ (α ∧ β)
Efficient, pure binary serialisation using ByteStrings in Haskell.
A bare-bones calculus-of-constructions
Real estate advertised