User contributions for Francis Lima
Results for Francis Lima talk block log uploads logs global block log global account filter log
A user with 74 edits. Account created on 22 June 2009.
1 October 2009
- 17:1717:17, 1 October 2009 diff hist +31 m Carboxylic acid →Spectroscopy: Linkified NMR
- 15:4415:44, 1 October 2009 diff hist +22 Glycogenin fixed kiloDalton abbrev, linkified it
- 14:5314:53, 1 October 2009 diff hist +1 m Floyd Abrams →Criticism: Typo fix
- 14:4514:45, 1 October 2009 diff hist +1 m Landmark Communications, Inc. v. Virginia →Arguments: fixed typo
14 July 2009
- 20:4520:45, 14 July 2009 diff hist −7 m Century Gothic Undid revision 301680695 by 122.55.141.4 (talk)
24 June 2009
- 01:5601:56, 24 June 2009 diff hist +275 User talk:Nathan Johnson →Canal photo: new section
- 01:5501:55, 24 June 2009 diff hist +277 User talk:Stephan Schulz →Canal photo: new section
- 01:5101:51, 24 June 2009 diff hist +343 Talk:James Hansen →Canal photo relevance
23 June 2009
- 06:3706:37, 23 June 2009 diff hist +399 Talk:James Hansen →Canal photo relevance: new section
- 06:0806:08, 23 June 2009 diff hist +435 Talk:Condensed detachment No edit summary
- 04:4604:46, 23 June 2009 diff hist −46 m Applicative computing systems →Further reading: Tweaked cite for Hindley/Seldin: removed incorrect URL
- 04:3804:38, 23 June 2009 diff hist +71 m Curry–Howard correspondence tweaked Howard cite
- 03:5103:51, 23 June 2009 diff hist +297 m Applicative computing systems →Further reading: Fixed up the Hindley/Seldin cite
22 June 2009
- 22:2622:26, 22 June 2009 diff hist 0 m Southport station (Metro-North) →Platform and track configuration
- 22:1722:17, 22 June 2009 diff hist +82 m Moses Schönfinkel added author links to Hindley cite
- 21:5121:51, 22 June 2009 diff hist +146 m Plural quantification →References: Converted McKay book to cite form
- 21:1621:16, 22 June 2009 diff hist +202 m Functional programming →Further reading: Tweaked Combinatory Logic v.II cite
- 21:1421:14, 22 June 2009 diff hist +85 m B, C, K, W system →References: Tweaked Cominatory Logic v.II cite
- 21:1221:12, 22 June 2009 diff hist +91 Combinatory logic →Further reading: Tweaked cites for Volumes I & II
- 20:4920:49, 22 June 2009 diff hist +182 Condensed detachment →References: Converted one to cite form, linked to J. Roger Hindley
- 20:3720:37, 22 June 2009 diff hist +362 Combinatory logic →Further reading: converted some to cite form, linkified J. Roger Hindley
- 20:1520:15, 22 June 2009 diff hist +3 Type inference Fixed J. Roger Hindley link
- 20:1220:12, 22 June 2009 diff hist +3 Hindley Fixed J. Roger Hindley link
- 20:1020:10, 22 June 2009 diff hist +2,391 N J. Roger Hindley Created initial stub article
