Closed treeowl closed 8 years ago
Most people want to use indexed functors with DataKinds and such for the indices. Turning on PolyKinds will let them do that.
DataKinds
PolyKinds
Done in ca1cb0f268fe1cd03df5e047fac124f55cf95066. Sorry for the delay.
Most people want to use indexed functors with
DataKinds
and such for the indices. Turning onPolyKinds
will let them do that.