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