update demo for new more-efficient encoding of functions
[coq-hetmet.git] / examples / x
2011-05-10 Adam Megaczstart using type-family-based GArrow classes