Desc@ICFP: fix substExpr (\substH) type to fit the Agda model. I tried to come up with a nicer type signature, not sure it's a success tho.
Desc@ICFP: fix substExpr (\substH) type to fit the Agda model. I tried to come up with a nicer type signature, not sure it's a success tho.
kwangkim/pigment,kwangkim/pigment,brixen/Epigram,kwangkim/pigment