Ralf Hinze <ralf@informatik.uni-bonn.de> writes: > BTW, does this version support rank-n types? IIRC the previous snapshot did. So presumably this one does too? Jens