User contributions for Ertai
26 November 2009
- 15:0715:07, 26 November 2009 diff hist +195 Talk:What a Monad is not No edit summary
23 November 2009
- 21:4821:48, 23 November 2009 diff hist +32 Talk:What a Monad is not No edit summary
- 21:4621:46, 23 November 2009 diff hist +677 N Talk:What a Monad is not No edit summary
- 21:3721:37, 23 November 2009 diff hist +113 What a Monad is not Fix the strictness part
18 April 2009
- 15:4915:49, 18 April 2009 diff hist +36 Hac5/Attendees/Photo No edit summary
- 12:3212:32, 18 April 2009 diff hist +27 Hac5/Dinner No edit summary
16 April 2009
- 19:1219:12, 16 April 2009 diff hist −16 Hac5/Attendees changed my hostel and remove my phone number
5 April 2009
- 14:4514:45, 5 April 2009 diff hist +44 Hac5/Projects No edit summary
19 March 2009
- 17:5417:54, 19 March 2009 diff hist +4 Hac5/Attendees No edit summary
15 March 2009
- 16:4516:45, 15 March 2009 diff hist +111 Hac5/Attendees No edit summary
1 March 2009
- 15:1815:18, 1 March 2009 diff hist −6 ListT done right Remove an extra 'where' keyword.
28 February 2009
- 18:3618:36, 28 February 2009 diff hist +65 Twitter No edit summary
9 November 2008
- 11:0811:08, 9 November 2008 diff hist +1 Curry-Howard-Lambek correspondence Add a missing parenthesis