Ur
From Impredicative Wiki
(Difference between revisions)
(→Topics) |
(→Topics: new page: Rosetta Stone) |
Revision as of 16:03, 24 June 2011
Topics
- contributing to this wiki
- C FFI Example
- Performance Comparisons
- Ur FAQ
- 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!
- minimal Vim support
- companies supporting the urweb language
- Impredicativity in Ur/Web
- Expressing subrecord constraints
- Libraries and FFI bindings
- Code Samples
- Ur-based Projects
- Won't fix
- best practices
- pitfalls - things which can go wrong