Gergely Buday wrote:
do I understand correctly that {} is a synonim for the unit type? Basis.urs saystype unit = {}
Yes, though I'd say it the other way: [unit] is a synonym for [{}], which is just a degenerate instance of the syntax for record types. (I lifted this convention directly from SML.)
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
