User contributions
From Impredicative Wiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:14, 22 January 2015 (diff | hist) . . (+27) . . Contributing to this wiki (Mention need to send username; change my e-mail address) (current)
- 13:00, 24 June 2011 (diff | hist) . . (+73) . . Contributing to this wiki (Clarify that you must create an account first)
- 10:32, 22 December 2010 (diff | hist) . . (+98) . . Pitfalls - things which can go wrong (Clarify fundamentalness of complaint) (current)
- 10:22, 14 December 2010 (diff | hist) . . (+186) . . Basic Example of Type Classes as Predicates Over Types (Example of automatic resolution) (current)
- 11:15, 8 December 2010 (diff | hist) . . (+231) . . Using Top.Fold to count fields of a record (A simpler way) (current)
- 10:17, 12 August 2010 (diff | hist) . . (-14) . . Ur (Unlink Graftid)
- 10:16, 12 August 2010 (diff | hist) . . (+99) . . Graftid (Byebye) (current)
- 16:30, 18 February 2010 (diff | hist) . . (-626) . . Graftid (Removing initial password protection)
- 12:59, 14 February 2010 (diff | hist) . . (+2,873) . . N Ur Performance Comparisons (New page: = OPA = This is a simple comparison of recursive function execution time, based on one performed for [http://www.mlstate.com/ OPA]. See the "Performance" section of [http://mlstate.com/w...) (current)
- 12:42, 14 February 2010 (diff | hist) . . (+57) . . Ur (Link performance comparisons)
- 11:27, 13 February 2010 (diff | hist) . . (-189) . . Graftid (No longer need to use hg version of Ur/Web)
- 17:54, 11 February 2010 (diff | hist) . . (0) . . m Graftid
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)