[Ur] A simple patch for (int) hexadecimal constants
Adam Chlipala
adamc at csail.mit.edu
Thu Mar 5 15:06:20 EST 2015
Previous message:
[Ur] Functional infix operators ?
Next message:
[Ur] ord class and performance
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Thanks for the patch! It's pushed now.
Previous message:
[Ur] Functional infix operators ?
Next message:
[Ur] ord class and performance
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Ur mailing list