Code Samples
From Impredicative Wiki
Here is a list of pages containing samples or demonstrations of Ur/Web code.
Records
- disjointness fun - creating records using type level functions
- Using Top.Fold to count fields of a record
- Polymorphic Variants Usage Example