User contributions for Thoughtpolice
A user with 75 edits.
15 September 2014
- 12:4612:46, 15 September 2014 diff hist +137 GHC No edit summary
9 September 2014
- 13:2613:26, 9 September 2014 diff hist −5 GHC Fix link.
12 May 2013
- 21:4221:42, 12 May 2013 diff hist −1 GHC/Typed holes No edit summary
- 21:4221:42, 12 May 2013 diff hist −3 GHC/Typed holes No edit summary
7 November 2012
- 16:4416:44, 7 November 2012 diff hist +8 GHC/Typed holes No edit summary
- 16:4316:43, 7 November 2012 diff hist +193 GHC/Typed holes No edit summary
13 October 2012
- 20:3920:39, 13 October 2012 diff hist +9 GHC/Typed holes →Writing 'instance Monad (Free f)'
- 20:3820:38, 13 October 2012 diff hist +245 GHC/Typed holes No edit summary
12 October 2012
- 16:3116:31, 12 October 2012 diff hist +4 GHC/Typed holes →Notes on parametricity, free theorems and Agda
- 16:3016:30, 12 October 2012 diff hist +2 GHC/Typed holes →Writing 'instance Monad (Free f)'
- 16:3016:30, 12 October 2012 diff hist +20 GHC/Typed holes →Writing 'instance Monad (Free f)'
- 16:2416:24, 12 October 2012 diff hist +9 GHC/Typed holes →Notes on parametricity, free theorems and Agda
- 16:2316:23, 12 October 2012 diff hist +16 GHC/Typed holes →Notes on parametricity, free theorems and Agda
- 16:2216:22, 12 October 2012 diff hist −1 GHC/Typed holes →Notes on parametricity, free theorems and Agda
- 16:2216:22, 12 October 2012 diff hist +19 GHC/Typed holes →Notes on parametricity, free theorems and Agda
- 16:2116:21, 12 October 2012 diff hist +104 GHC/Typed holes →Notes on parametricity, free theorems and Agda
- 16:1916:19, 12 October 2012 diff hist +166 GHC/Typed holes →Notes on parametricity, free theorems and Agda
- 16:1716:17, 12 October 2012 diff hist +331 GHC/Typed holes →Notes on parametricity, free theorems and Agda
- 16:1416:14, 12 October 2012 diff hist +3,352 GHC/Typed holes →Notes on parametricity and Agda
- 16:0816:08, 12 October 2012 diff hist +154 GHC/Typed holes →Writing 'instance Monad (Free f)'
- 16:0716:07, 12 October 2012 diff hist +1,698 GHC/Typed holes →Writing 'instance Monad (Free f)'
- 16:0416:04, 12 October 2012 diff hist +60 GHC/Typed holes →Writing 'instance Monad (Free f)'
- 16:0116:01, 12 October 2012 diff hist +13 GHC/Typed holes →Writing 'instance Monad (Free f)'
- 16:0016:00, 12 October 2012 diff hist +1,149 GHC/Typed holes →Writing 'instance Monad (Free f)'
- 15:5815:58, 12 October 2012 diff hist −10 GHC/Typed holes →Motivating example
- 15:5815:58, 12 October 2012 diff hist −11 GHC/Typed holes No edit summary
- 15:5615:56, 12 October 2012 diff hist +48 GHC/Typed holes →Introduction
- 15:5615:56, 12 October 2012 diff hist +1,419 GHC/Typed holes No edit summary
- 15:4515:45, 12 October 2012 diff hist +771 N GHC/Typed holes New page: Type system <span style='font-size: x-large; font-weight: bold'>Type holes in GHC.</span> Type holes are a powerful feature in GHC that is inspired by [http://wiki.portal...
- 15:3815:38, 12 October 2012 diff hist +158 GHC/Type system No edit summary
22 July 2011
- 20:2120:21, 22 July 2011 diff hist +3 Hac φ/Talks No edit summary
20 July 2011
- 23:2923:29, 20 July 2011 diff hist −114 Hac φ/Talks No edit summary
17 June 2011
- 14:5814:58, 17 June 2011 diff hist +71 Hac φ/Projects →Sharing your code
- 14:5514:55, 17 June 2011 diff hist +339 Hac φ/Projects No edit summary
16 June 2011
- 23:4923:49, 16 June 2011 diff hist +252 Hac φ/Talks No edit summary
- 17:1917:19, 16 June 2011 diff hist +78 Hac φ/Attendees →Attendees
14 June 2011
- 18:1918:19, 14 June 2011 diff hist −14 Twitter No edit summary
2 February 2011
- 22:2122:21, 2 February 2011 diff hist −31 BayHac2011 No edit summary
31 January 2011
- 23:4723:47, 31 January 2011 diff hist +759 BayHac2011 No edit summary
10 August 2009
- 05:4705:47, 10 August 2009 diff hist +201 Xmonad/Config archive/thoughtpolice's xmobarrc No edit summary
9 August 2009
- 11:2011:20, 9 August 2009 diff hist 0 Xmonad/Config archive/thoughtpolice's xmobarrc No edit summary
9 June 2009
- 22:2522:25, 9 June 2009 diff hist +773 MaxBolingbroke/Talk:TypesAreCallingConventions added my point of confusion
23 May 2009
- 04:3304:33, 23 May 2009 diff hist +16 Hac φ 2009 No edit summary
22 May 2009
- 04:3104:31, 22 May 2009 diff hist +43 Hac φ 2009 No edit summary
13 May 2009
- 19:5819:58, 13 May 2009 diff hist +33 UnnamedStandard No edit summary
10 May 2009
- 15:2915:29, 10 May 2009 diff hist +152 Xmonad/Config archive/thoughtpolice's xmonad.hs No edit summary current
1 April 2009
- 19:3919:39, 1 April 2009 diff hist +66 Twitter No edit summary
7 October 2008
- 21:0721:07, 7 October 2008 diff hist +305 Benchmarks Game/Parallel/BinaryTreesDPH No edit summary
- 20:5720:57, 7 October 2008 diff hist −166 Benchmarks Game/Parallel/BinaryTreesDPH No edit summary
- 20:5620:56, 7 October 2008 diff hist +98 Benchmarks Game/Parallel/BinaryTreesDPH No edit summary