marcw

alias tags='ctags -f tags -h ".php" -R --exclude=".svn" --exclude="*.yml.php" --totals=yes --tag-relative=yes --PHP-kinds=+cf --fields=+afkst --regex-PHP="/@method[ ][^ ]+[ ]+([^ (]*)/\1/f/"'

tonymorris

Moved to https://github.com/tonymorris/type-class

mandubian

sealed abstract trait Tree
case class Leaf(a: String) extends Tree
case class Node(l: Tree, r: Tree) extends Tree

implicit val treeR: Reads[Tree] = 
  __.read[Leaf].map(x => x:Tree) orElse 
  (
    (__ \ "l").lazyRead(treeR) and (__ \ "r").lazyRead(treeR)
  )(Node.apply _).map(x => x:Tree)

bitemyapp

The Learning Haskell guide has been moved to a git repo to enable outside contribution

Find it here: https://github.com/bitemyapp/learnhaskell

divarvel

data Dependency : String -> Type -> Type
  where MkDep : (name: String) -> a -> Dependency name a

DepWrapper : Type -> Type
DepWrapper t = (String ** Dependency _ t)


dep1 : Dependency "toto" Int