Ur
From Impredicative Wiki
(Difference between revisions)
(Split the links into categories) |
m |
Revision as of 17:54, 12 January 2014
Contents |
Official resources
Ur/Web
Code Samples
- Rosetta Stone - currently lists rough translations between certain functions from the Ur/Web standard library and functions from the Haskell platform. Designed to aid understanding, rather than to be rigorous!
- Best practices
- Code Samples
- Impredicativity in Ur/Web
- C FFI Example
- Pitfalls - things which can go wrong
- Expressing subrecord constraints