Changes between Version 19 and Version 20 of NewAxioms
- May 29, 2013 11:28:09 AM (11 months ago)
v19 v20 6 6 * See also the ''' [wiki:NewAxioms/CoincidentOverlap Coincident Overlap] ''' page (added August 2012) for a discussion around the usefulness of allowing certain overlaps when the right-hand sides coincide. 7 7 * See also the ''' [wiki:NewAxioms/TemplateHaskell Template Haskell] ''' page (added December 2012) for a proposal for the Template Haskell changes necessary to support this change. 8 8 9 9 10 Status (Jan 12): the groundwork is done, in HEAD; mainly making `CoAxiom` a more fundamental data type. Not yet started on the details.