j
k
j a
j l
Ralf Hinze writes: ...BTW, does this version support rank-n types? IIRC the previous snapshot did. So presumably this one does too?
Ralf Hinze writes:
BTW, does this version support rank-n types?
IIRC the previous snapshot did. So presumably this one does too?
Yes, it does. Simon
Back to the thread
Back to the list