
22 Jun
2010
22 Jun
'10
1:31 p.m.
Eric Niebler wrote:
Did I do something wrong ?
Yep. It has nothing to do with the domains. The expression type returned by iota does not match your grammar Oooooh crap I feel bad v_v Of course terminal<iota_value> is no way in grammar.
Sorry for the disturbance.