log

age author description
Fri, 06 Mar 2015 09:46:21 -0500 Adam Chlipala Change MonoReduce to do fixed-pointing, since it sometimes enables more optimizations for itself (e.g., yanking lambdas out of [case]s)
Thu, 05 Mar 2015 15:05:53 -0500 Adam Chlipala Document hexadecimal literals
Thu, 05 Mar 2015 15:03:04 -0500 Adam Chlipala Hexadecimal integer literals, contributed by Gabriel Riba