Skip to content

Instantly share code, notes, and snippets.


Minsheng Liu notcome

  • XNZG
  • Hangzhou, China
View GitHub Profile
notcome / IxFix.hs
Created Nov 21, 2015 — forked from AndrasKovacs/IxFix.hs
Example for recursion schemes for mutually recursive data
View IxFix.hs
UndecidableInstances, RankNTypes, TypeOperators, TypeFamilies,
StandaloneDeriving, DataKinds, PolyKinds, DeriveFunctor, DeriveFoldable,
DeriveTraversable, LambdaCase, PatternSynonyms, TemplateHaskell #-}
import Control.Monad
import Control.Applicative
import Data.Singletons.TH