7 Apr
2008
7 Apr
'08
9:18 p.m.
Hi all, Is there a TH and recent GHC's extension type-indexed families interaction envisaged? Is it feasible to think of such support? I am not sure wether only Haskell 98 is supported or if any language extension is supported. Thanks, hugo