Desc@ICFP: explain the coding of Hutton's razor on the Indexed part
Desc@ICFP: explain the coding of Hutton's razor on the Indexed part

Reviewer 2 said:

"p9, fig. 7: A reminder near ExprID that the order of the sublists of
IndexedD needs to line up with the definition of Ty would be helpful."


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