Revision history of "Disjointness fun - creating records using type level functions"

From Impredicative Wiki
Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 19:14, 20 December 2010‎ MarcWeber (Talk | contribs)‎ . . (+1,473)‎ . . (New page: Example taking 2 names and 2 types then 2 values yielding a record expression illustrating how to use guarded types (* Here is a function which takes two names and two types (type level...)
Retrieved from "http://www.impredicative.com/wiki/index.php/Disjointness_fun_-_creating_records_using_type_level_functions"
Personal tools