Skip to content

Instantly share code, notes, and snippets.

View MonadicT's full-sized avatar

Praki Prakash MonadicT

  • San Francisco Bay Area
View GitHub Profile
@danidiaz
danidiaz / _FP reading lists.md
Last active August 12, 2025 12:57
assorted reading lists

A series of reading lists mostly related to functional programming.

@AndrasKovacs
AndrasKovacs / IxFix.hs
Last active December 2, 2022 06:15
Example for recursion schemes for mutually recursive data
{-# LANGUAGE
UndecidableInstances, RankNTypes, TypeOperators, TypeFamilies,
StandaloneDeriving, DataKinds, PolyKinds, DeriveFunctor, DeriveFoldable,
DeriveTraversable, LambdaCase, PatternSynonyms, TemplateHaskell #-}
import Control.Monad
import Control.Applicative
import Data.Singletons.TH