User contributions

From The Twelf Project

Search for contributions

 Show contributions of new accounts only
 IP address or username: Namespace: all (Main) Talk User User talk The Twelf Project The Twelf Project talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Elves Elves talk Proving metatheorems Proving metatheorems talk

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 23:53, 23 March 2009 (diff | hist) %unique ‎ (on impossible goals, and some rewording - →Coverage checking) (top)
• 23:18, 23 March 2009 (diff | hist) m %unique ‎ (rewording)
• 23:09, 23 March 2009 (diff | hist) Uniqueness lemma ‎ (link to new %unique page)
• 23:05, 23 March 2009 (diff | hist) m %unique ‎ (tt on %mode link)
• 23:04, 23 March 2009 (diff | hist) m %unique ‎ (link - →Mutual recursion)
• 23:01, 23 March 2009 (diff | hist) m %unique ‎ (put the second redefinition back so the article is consistent - →Mutual recursion)
• 23:00, 23 March 2009 (diff | hist) %unique ‎ (updated information on coverage checking)
• 00:43, 5 March 2009 (diff | hist) m Computation and Deduction 2009 ‎ (removed support code link in favor of real link)
• 00:41, 5 March 2009 (diff | hist) m Computation and Deduction 2009/20090304 ‎ (header explanation) (top)
• 00:39, 5 March 2009 (diff | hist) Computation and Deduction 2009 ‎
• 00:37, 5 March 2009 (diff | hist) N Computation and Deduction 2009/20090304 ‎ (combinator code from March 4)
• 12:15, 4 March 2009 (diff | hist) Computation and Deduction 2009 ‎ (added some support code)
• 12:14, 4 March 2009 (diff | hist) N Computation and Deduction 2009/20090304-support ‎ (added support code) (top)
• 10:36, 19 January 2009 (diff | hist) POPL Tutorial/Combinators Answer ‎ (added worlds to syntax) (top)
• 01:01, 18 January 2009 (diff | hist) m POPL Tutorial/Combinators Answer ‎
• 01:00, 18 January 2009 (diff | hist) m POPL Tutorial/Combinators Support ‎
• 00:14, 17 January 2009 (diff | hist) POPL Tutorial/Combinators ‎ (link names)
• 00:04, 17 January 2009 (diff | hist) N POPL Tutorial/Combinators Answer ‎ (copied over from Combinators_session_(answers))
• 00:03, 17 January 2009 (diff | hist) N POPL Tutorial/Combinators Support ‎ (copied over from Combinators_session)
• 23:59, 16 January 2009 (diff | hist) POPL Tutorial/Combinators session (answers) ‎ (missed one N -> A) (top)
• 23:57, 16 January 2009 (diff | hist) POPL Tutorial/Combinators session ‎ (add betas and extensionality to the template) (top)
• 23:28, 16 January 2009 (diff | hist) POPL Tutorial/Combinators session (answers) ‎ (added a link)
• 23:28, 16 January 2009 (diff | hist) POPL Tutorial/Combinators session ‎ (added a link)
• 23:25, 16 January 2009 (diff | hist) POPL Tutorial/Combinators session ‎
• 23:25, 16 January 2009 (diff | hist) POPL Tutorial/Combinators session (answers) ‎ (change variable names)
• 23:15, 16 January 2009 (diff | hist) POPL Tutorial/Combinators session ‎ (rename variables)
• 15:47, 15 January 2009 (diff | hist) POPL Tutorial/Combinators session ‎
• 15:46, 15 January 2009 (diff | hist) POPL Tutorial/Combinators session (answers) ‎ (moves)
• 15:42, 15 January 2009 (diff | hist) POPL Tutorial/Combinators session ‎ (moved some things around)
• 15:23, 13 January 2009 (diff | hist) POPL Tutorial/Thursday ‎ (→Schedule (all slides)) (top)
• 14:21, 13 January 2009 (diff | hist) N POPL Tutorial/Combinators session ‎ (POPL Tutorial/Combinators session moved to POPL Tutorial/Combinators session (answers): because it's the answers)
• 14:21, 13 January 2009 (diff | hist) m POPL Tutorial/Combinators session (answers) ‎ (POPL Tutorial/Combinators session moved to POPL Tutorial/Combinators session (answers): because it's the answers)
• 14:16, 13 January 2009 (diff | hist) POPL Tutorial/Combinators session (answers) ‎ (deleted extraneous junk)
• 14:15, 13 January 2009 (diff | hist) POPL Tutorial/Combinators session (answers) ‎ (replaced with new variable-ful version)
• 00:03, 12 January 2009 (diff | hist) N POPL Tutorial/Combinators session (answers) ‎ (first cut at combinators session -- some cleanups/convention changes from the case study)
• 15:11, 19 December 2008 (diff | hist) Typed combinators soundness and completeness ‎ (top)
• 19:08, 9 December 2008 (diff | hist) Case studies ‎ (→Beginner)
• 19:08, 9 December 2008 (diff | hist) N Typed combinators soundness and completeness ‎ (initial revision)
• 18:53, 4 December 2008 (diff | hist) POPL Tutorial/Problems ‎ (top)
• 18:53, 4 December 2008 (diff | hist) N POPL Tutorial/Typed bracket abstraction with equivalence ‎ (first cut at a bracket abstraction example using full beta/eta equality) (top)
• 18:23, 24 November 2008 (diff | hist) POPL Tutorial/New language ‎ (added %worlds decls to all judgements, per "new style")
• 18:17, 24 November 2008 (diff | hist) N POPL Tutorial/New language ‎ (stlc plus nums and positive pairs)
• 17:23, 22 November 2008 (diff | hist) POPL Tutorial/Saturday ‎ (→Notes from Saturday) (top)
• 17:13, 22 November 2008 (diff | hist) POPL Tutorial/Saturday ‎
• 11:53, 22 November 2008 (diff | hist) POPL Tutorial/Session 5 ‎ (→Intermediate problems)
• 11:52, 22 November 2008 (diff | hist) POPL Tutorial/Typed bracket abstraction ‎ (top)
• 11:50, 22 November 2008 (diff | hist) POPL Tutorial/Typed bracket abstraction ‎
• 11:46, 22 November 2008 (diff | hist) POPL Tutorial/Typed bracket abstraction ‎
• 11:39, 22 November 2008 (diff | hist) POPL Tutorial/Typed bracket abstraction (solution) ‎ (top)
• 11:38, 22 November 2008 (diff | hist) POPL Tutorial/Typed bracket abstraction (solution) ‎ (new solution page based on edits)

(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)