added Desc.hs. This is a universe of inductive types. I've written the canTy and the semantic brackets (descOp) but not box, mapbox or elim yet.
added Desc.hs. This is a universe of inductive types. I've written the canTy and the semantic brackets (descOp) but not box, mapbox or elim yet.
brixen/Epigram,kwangkim/pigment,kwangkim/pigment,kwangkim/pigment