• New
  • Learn
  • Snippets
  • Meta
    • News
    • About
    • API Docs
    • Source Code
  • Account
    • Register
    • Login

Public Snippets

LanguageTitleCreatedOwner
Haskell logoHaskellMonad Bind, Associativity Mattershomam
Haskell logoHaskellList Concatenation, Associativity Matters homam
Haskell logoHaskellcs320-factorial-with inputo1xhack
Haskell logoHaskellLifeRPG - RP Reward Calculatorrobjameswhitaker
Haskell logoHaskellType Familieshomam
Haskell logoHaskellHaskell Inputsteinwaywhw
Haskell logoHaskellHaskell Datatypesteinwaywhw
Haskell logoHaskellPeano numbershomam
Haskell logoHaskellSign-indexed Peano numbersrightfold
Haskell logoHaskellST safety: Skolem scopesrightfold
Haskell logoHaskellST safety: nested computationsrightfold
Haskell logoHaskellA monad is just a monoid in the category of endofurightfold
Haskell logoHaskellFunctions to Polymorphic Types Answerhomam
Haskell logoHaskellExistential Quantification (Answer)homam
Haskell logoHaskellTypeablehomam
Haskell logoHaskellConstraintKindshomam
Haskell logoHaskellExistential Types Heterogeneous Maphomam
Haskell logoHaskellUnion Typeshomam
Haskell logoHaskellNon-Recursive Y Combinatorhomam
Haskell logoHaskellBoaty McBoatfacerightfold
  • --
  • page = 8
  • ++