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) 18:14, 20 December 2010MarcWeber (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...)
Personal tools