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

Snippets by rightfold

LanguageTitleCreatedVisibility
Python logoPythonLazy listsPublic
C++ logoC++Lambda types in C++Public
Mercury logoMercuryParity in MercuryPublic
Raku logoRakuSubset preprocessorPublic
Raku logoRakuAd-hoc associativityPublic
F# logoF#Units of measurePublic
C# logoC#Defunctionalized predicatesPublic
JavaScript logoJavaScriptI/O actions in JavaScriptPublic
Haskell logoHaskellGenerate both a Haskell function and a SQL expressPublic
Lua logoLuaCustom string methodsPublic
Bash logoBashSemigroup and monoid type classes in BashPublic
Ocaml logoOcamlOxford commaPublic
Idris logoIdrisSafe matrix additionPublic
Haskell logoHaskellSign-indexed Peano numbersPublic
Haskell logoHaskellST safety: Skolem scopesPublic
Haskell logoHaskellST safety: nested computationsPublic
Haskell logoHaskellA monad is just a monoid in the category of endofuPublic
Raku logoRakuPowers of twoPublic
Bash logoBashLiterate PureScriptPublic
Ocaml logoOcamlOCaml modulesPublic
  • --
  • page = 4
  • ++