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? Jens
Back to the thread
Back to the list
