User contributions
From Impredicative Wiki
(newest | oldest) View (newer 20 | older 20) (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
- 16:14, 11 February 2010 (diff | hist) . . (-2) . . m Graftid (Weird typo)
- 16:13, 11 February 2010 (diff | hist) . . (+49) . . Graftid ("New library" mark 2)
- 16:09, 11 February 2010 (diff | hist) . . (+3) . . m Graftid
- 15:59, 11 February 2010 (diff | hist) . . (+97) . . Graftid (GUI <> MODULES)
- 15:49, 11 February 2010 (diff | hist) . . (+57) . . Graftid (Capitalization)
- 14:34, 11 February 2010 (diff | hist) . . (+180) . . Graftid (Clarify CWD for grmake)
- 14:23, 11 February 2010 (diff | hist) . . (+103) . . Graftid (Explain value of $GUI more)
- 14:10, 11 February 2010 (diff | hist) . . (+18) . . Graftid (Emphasize need for new directories)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)