comparison demo/prose @ 419:cb5897276abf

Fix bug with bringing functor argument instances into scope; Ref demo, minus prose
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Oct 2008 17:35:10 -0400
parents ad7e854a518c
children 9119a5920106
comparison
equal deleted inserted replaced
418:ad7e854a518c 419:cb5897276abf
106 <p>It's easy to adapt the last example to use type classes, such that we can sum the fields of records based on any numeric type.</p> 106 <p>It's easy to adapt the last example to use type classes, such that we can sum the fields of records based on any numeric type.</p>
107 107
108 metaform1.urp 108 metaform1.urp
109 109
110 metaform2.urp 110 metaform2.urp
111
112 ref.urp