Adam Chlipala wrote:
Artyom Shalkhakov wrote:
The question are
- what are type families
- how to use sql_serialized
Oh, and I think I skipped the second question, but I think if you follow
my answer to the first, you'll find that you don't need to think
explicitly about the second. [sql_injectable_prim] is a type class, and
so witnesses will be found automatically as needed, just like in Haskell.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
