Code Samples
From Impredicative Wiki
(Difference between revisions)
Karn Kallio (Talk | contribs) (Make directory page to list code samples) |
(→Records: adding new article disjointness fun - creating records using type level functions) |
| (4 intermediate revisions by one user not shown) | |
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
