Code Samples
From Impredicative Wiki
(Difference between revisions)
Karn Kallio (Talk | contribs) (Added link to type classes as predicates example) |
(→Records: adding new article disjointness fun - creating records using type level functions) |
Latest revision as of 19:05, 20 December 2010
Here is a list of pages containing samples or demonstrations of Ur/Web code.
[edit] Records
- disjointness fun - creating records using type level functions
- Using Top.Fold to count fields of a record
- Polymorphic Variants Usage Example