Desc@ICFP: explain subscript convention
Desc@ICFP: explain subscript convention

Reviewer 2 says:

"p8.  Starting around page 8, some new notation is used where "(I:Set)
->" is written subscripted.  I guess this means "don't worry about
writing the index since we can infer it" but the notation is never
explained."


kwangkim/pigment,kwangkim/pigment,kwangkim/pigment,brixen/Epigram