[r2005-03-06 15:52:10 by afrisch] New syntax for record types/patterns
Original author: afrisch Date: 2005-03-06 15:52:11+00:00
This diff is collapsed.
Please register or sign in to comment
Original author: afrisch Date: 2005-03-06 15:52:11+00:00