-
Gabriel Scherer authored
By adding a CMap constructor to our raw constraints, we can implement map directly within the constraint language, so we don't need to define ('a co) as a pair of a constraint and a continuation anymore, raw constraints are expressive enough.
ea85ced0