User contributions
From Impredicative Wiki
- 19:36, 13 December 2010 (diff | hist) . . (+2,055) . . N Basic Example of Type Classes as Predicates Over Types (An example of viewing type classes as predicates over types)
- 19:33, 13 December 2010 (diff | hist) . . (+61) . . Code Samples (Added link to type classes as predicates example)
- 18:29, 13 December 2010 (diff | hist) . . (+3,504) . . N Abstract and Concrete Type Classes (Comparison between an abstract and concrete type class) (current)
- 18:23, 13 December 2010 (diff | hist) . . (+41) . . Code Samples (Added link to concrete vs abstract type classes page)
- 12:48, 12 December 2010 (diff | hist) . . (+1,630) . . Basic Examples of the Type Class Mechanism in Ur/Web (Clarification between constraint and polymorphism) (current)
- 11:35, 12 December 2010 (diff | hist) . . (+2,094) . . N Basic Examples of the Type Class Mechanism in Ur/Web (Simple usage example of the type class facility)
- 11:33, 12 December 2010 (diff | hist) . . (+81) . . Code Samples (Add section for type classes)
- 20:20, 9 December 2010 (diff | hist) . . (+4,030) . . N Polymorphic Variants Usage Example (Sample usage of polymorphic variants) (current)
- 20:17, 9 December 2010 (diff | hist) . . (+41) . . Code Samples (Added link to polymorphic variants usages page)
- 11:04, 8 December 2010 (diff | hist) . . (+13) . . m Using Top.Fold to count fields of a record (Fixed missing pre tag)
- 11:04, 8 December 2010 (diff | hist) . . (+645) . . N Using Top.Fold to count fields of a record (Demonstration of Top.fold usage to count record type fields)
- 10:59, 8 December 2010 (diff | hist) . . (+142) . . N Code Samples (Make directory page to list code samples)
- 10:55, 8 December 2010 (diff | hist) . . (+19) . . Ur (Added link to code samples list page)
- 22:05, 7 December 2010 (diff | hist) . . (+1,290) . . N Expressing subrecord constraints (Expression of record subtyping in terms of disjointness and symmetric concatenation.) (current)
- 21:58, 7 December 2010 (diff | hist) . . (+39) . . Ur (Added link to subrecord constraint page)
- 15:50, 4 December 2010 (diff | hist) . . (+2,536) . . N Impredicativity in Ur/Web (A simple demonstration of impredicativity in Ur/Web) (current)
- 15:37, 4 December 2010 (diff | hist) . . (+32) . . Ur (Added link to Impredicativity page)
- 18:53, 19 November 2010 (diff | hist) . . (+208) . . Companies supporting the urweb language (Added myself ( Karn Kallio ) to list)