Quick actions

cmd+k|ctrl+k

Navigation

Languages

Public snippets

Filtered by @rightfoldClear

LanguageTitleCreatedUsername
LanguageFsharpTitleUnits of measureCreated9 years agoUsernamerightfold
LanguageCsharpTitleDefunctionalized predicatesCreated9 years agoUsernamerightfold
LanguageJavaScriptTitleI/O actions in JavaScriptCreated9 years agoUsernamerightfold
LanguageHaskellTitleGenerate both a Haskell function and a SQL expression from a data structureCreated9 years agoUsernamerightfold
LanguageLuaTitleCustom string methodsCreated9 years agoUsernamerightfold
LanguageBashTitleSemigroup and monoid type classes in BashCreated9 years agoUsernamerightfold
LanguageOcamlTitleOxford commaCreated9 years agoUsernamerightfold
LanguageIdrisTitleSafe matrix additionCreated9 years agoUsernamerightfold
LanguageHaskellTitleSign-indexed Peano numbersCreated9 years agoUsernamerightfold
LanguageHaskellTitleST safety: Skolem scopesCreated9 years agoUsernamerightfold
LanguageHaskellTitleST safety: nested computationsCreated9 years agoUsernamerightfold
LanguageHaskellTitleA monad is just a monoid in the category of endofunctors, what's the problem?Created9 years agoUsernamerightfold
LanguageRakuTitlePowers of twoCreated9 years agoUsernamerightfold
LanguageBashTitleLiterate PureScriptCreated9 years agoUsernamerightfold
LanguageOcamlTitleOCaml modulesCreated9 years agoUsernamerightfold
LanguageScalaTitleWho needs universal quantification, anyway?Created10 years agoUsernamerightfold
LanguageClojureTitleLogger combinatorsCreated10 years agoUsernamerightfold
LanguageScalaTitleType checker for the simply typed lambda calculus using cofreeCreated10 years agoUsernamerightfold
LanguageScalaTitleType-safe expression evaluation with GADTsCreated10 years agoUsernamerightfold
LanguageOcamlTitleMonads and I/O actions in OCamlCreated10 years agoUsernamerightfold
PreviousNext