New pages
From Impredicative Wiki
- 08:18, 4 June 2015 Compiler contributions procedure (hist) [2,062 bytes] Griba2010 (Talk | contribs) (Created page with "Here follows the list of actions involved in testing a compiler new feature. The compiler uses the mercurial control revision system. <pre> # set up the mercurial initial f...")
- 03:36, 18 December 2011 Comparison tables (hist) [2,758 bytes] Greenrd (Talk | contribs) (first version)
- 16:09, 24 June 2011 Ur Rosetta Stone (hist) [1,924 bytes] Greenrd (Talk | contribs) (Created page)
- 18:03, 21 December 2010 Pitfalls - things which can go wrong (hist) [143 bytes] MarcWeber (Talk | contribs) (New page: stack overflows result in segmentation faults)
- 19:14, 20 December 2010 Disjointness fun - creating records using type level functions (hist) [1,473 bytes] MarcWeber (Talk | contribs) (New page: Example taking 2 names and 2 types then 2 values yielding a record expression illustrating how to use guarded types (* Here is a function which takes two names and two types (type level...)
- 12:10, 19 December 2010 Best practices (hist) [801 bytes] MarcWeber (Talk | contribs) (new page talking about some best practices)
- 19:36, 13 December 2010 Basic Example of Type Classes as Predicates Over Types (hist) [2,241 bytes] Karn Kallio (Talk | contribs) (An example of viewing type classes as predicates over types)
- 18:29, 13 December 2010 Abstract and Concrete Type Classes (hist) [3,504 bytes] Karn Kallio (Talk | contribs) (Comparison between an abstract and concrete type class)
- 21:56, 12 December 2010 Won't fix (hist) [378 bytes] MarcWeber (Talk | contribs) (New page: I think that some issues should be put on the wiki - because its much more likely to be read that the bug tracker. === "DELETE FROM TABLE" without WHERE is not allowed === quoting Adam: ...)
- 13:42, 12 December 2010 Ur-based Hosting (hist) [842 bytes] MarcWeber (Talk | contribs) (write down that several peole are willing to help finding a hosting solution - if there is need.)
- 11:35, 12 December 2010 Basic Examples of the Type Class Mechanism in Ur/Web (hist) [3,724 bytes] Karn Kallio (Talk | contribs) (Simple usage example of the type class facility)
- 20:20, 9 December 2010 Polymorphic Variants Usage Example (hist) [4,030 bytes] Karn Kallio (Talk | contribs) (Sample usage of polymorphic variants)
- 12:38, 8 December 2010 Ur-based Projects (hist) [193 bytes] Docelic (Talk | contribs) (New page: == Ur/Web-based Projects == https://github.com/gian/urblog)
- 11:04, 8 December 2010 Using Top.Fold to count fields of a record (hist) [889 bytes] Karn Kallio (Talk | contribs) (Demonstration of Top.fold usage to count record type fields)
- 10:59, 8 December 2010 Code Samples (hist) [435 bytes] Karn Kallio (Talk | contribs) (Make directory page to list code samples)
- 22:05, 7 December 2010 Expressing subrecord constraints (hist) [1,290 bytes] Karn Kallio (Talk | contribs) (Expression of record subtyping in terms of disjointness and symmetric concatenation.)
- 15:50, 4 December 2010 Impredicativity in Ur/Web (hist) [2,536 bytes] Karn Kallio (Talk | contribs) (A simple demonstration of impredicativity in Ur/Web)