User contributions
Jump to navigation
Jump to search
- 09:58, 17 July 2012 diff hist -1 m Template:Main/Events Move "ICFP Programming Contest 2012" from →Upcoming Events: to →Recent Events
- 11:41, 12 July 2012 diff hist 0 m Template:Main/Events swap order at the new inserted item
- 11:39, 12 July 2012 diff hist +85 Template:Main/Events ICFP Programming Contest 2012
- 06:46, 10 December 2010 diff hist -6 m Arrow Updating link
- 12:21, 24 May 2009 diff hist -6 m Template:Main/Events More relevant imformation emphasized
- 12:20, 24 May 2009 diff hist -9 m Template:Main/Events shorten
- 12:19, 24 May 2009 diff hist +21 m Template:Main/Events Capitalize
- 12:19, 24 May 2009 diff hist -5 m Template:Main/Events typo
- 12:17, 24 May 2009 diff hist +87 Template:Main/Events ICFP Programming Contest 2009
- 21:34, 14 March 2009 diff hist +143 Chaitin's construction ``Workpage template'', warning about missing substantial details
- 13:52, 5 July 2008 diff hist -1 m Chaitin's construction grammar: singular
- 13:46, 5 July 2008 diff hist +172 Chaitin's construction →Eliminating any concept of code by handling combinatory logic terms directly: Domain of "normal form" partial function
- 02:57, 17 June 2008 diff hist -6 m Template:Main/Events rm year
- 02:54, 17 June 2008 diff hist +10 Template:Main/Events Rm redundance from date, giving hours instead
- 02:51, 17 June 2008 diff hist 0 Template:Main/Events Swap two items
- 02:50, 17 June 2008 diff hist +188 Template:Main/Events ICFP Programming Contest 2008
- 11:26, 13 August 2007 diff hist -2 m Zipper mixed terms
- 11:24, 13 August 2007 diff hist +223 Zipper Moving from hole towards root is an independent idea
- 21:00, 7 August 2007 diff hist +171 Relational algebra →Other links: The λ Abroad. A Functional Approach To Software Components by Daniel Johannes Pieter Leijen
- 20:28, 20 July 2007 diff hist +122 Zipper Notion of "hole" mentioned