User contributions
From The Twelf Project
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 19:15, 14 November 2007 (diff | hist) . . (+33) . . N Effectiveness (redir to effectiveness lemma) (current)
- 18:37, 12 November 2007 (diff | hist) . . (+19) . . m CPS conversion (→Type translation: clearer; both literally have type type)
- 22:47, 28 October 2007 (diff | hist) . . (+289) . . Talk:Implicit and explicit parameters (→Always prints out the parameters)
- 21:02, 26 October 2007 (diff | hist) . . (+44) . . Implicit and explicit parameters (+discuss link)
- 21:01, 26 October 2007 (diff | hist) . . (+407) . . Talk:Implicit and explicit parameters (Always prints out the parameters)
- 20:50, 23 October 2007 (diff | hist) . . (+307) . . User talk:Rsimmons (twelf sources with .cm)
- 01:28, 20 October 2007 (diff | hist) . . (-4) . . m Ad hoc binding structures (page was renamed)
- 01:25, 20 October 2007 (diff | hist) . . (-4) . . Real World Binding Structures (double redirect) (current)
- 02:41, 18 October 2007 (diff | hist) . . (+528) . . N Talk:%covers (mention my extension) (current)
- 02:34, 18 October 2007 (diff | hist) . . (+4) . . m Structural metrics (I see what the reason for the original awkward language was; unify)
- 02:32, 18 October 2007 (diff | hist) . . (+1,179) . . %covers (example of how %covers is weak compared to %total)
- 13:23, 15 October 2007 (diff | hist) . . (+6) . . m Case studies (style)
- 13:21, 15 October 2007 (diff | hist) . . (0) . . m Ad hoc binding structures (Real World Binding Structures moved to Real-world binding structures: canonical page name style; use hyphen (as in article) to reduce confusion with %worlds)
- 13:21, 15 October 2007 (diff | hist) . . (+43) . . N Real World Binding Structures (Real World Binding Structures moved to Real-world binding structures: canonical page name style; use hyphen (as in article) to reduce confusion with %worlds)
- 13:21, 15 October 2007 (diff | hist) . . (+248) . . Ad hoc binding structures (expand intro for context)
- 13:24, 13 October 2007 (diff | hist) . . (-13) . . m Mutual induction (Reverted edits by 129.123.104.8 (Talk); changed back to last version by Drl)
- 13:23, 13 October 2007 (diff | hist) . . (-7) . . m Glossary (Reverted edits by 129.123.104.8 (Talk); changed back to last version by Rsimmons) (current)
- 13:23, 13 October 2007 (diff | hist) . . (-8) . . m The Twelf Project:Contributing (Reverted edits by 129.123.104.8 (Talk); changed back to last version by Rsimmons) (current)
- 13:23, 13 October 2007 (diff | hist) . . (-7) . . m Introductions to Twelf (Reverted edits by 129.123.104.8 (Talk); changed back to last version by Rsimmons)
- 13:23, 13 October 2007 (diff | hist) . . (-10) . . m Case studies (Reverted edits by 129.123.104.8 (Talk); changed back to last version by Rsimmons)
- 22:13, 2 October 2007 (diff | hist) . . (+27) . . m Negation as failure (typos and style) (current)
- 22:12, 2 October 2007 (diff | hist) . . (+5,768) . . N Sudoku (just pasted code, finish later) (current)
- 21:43, 2 October 2007 (diff | hist) . . (+80) . . User talk:Tom7 (→The Party)
- 21:26, 2 October 2007 (diff | hist) . . (+30) . . N File:Sudokuexample.svg (From Wikipedia, public domain.) (current)
- 21:23, 2 October 2007 (diff | hist) . . (0) . . Case studies (cps conversion is not really the easiest beginner tutorial)
- 20:09, 2 October 2007 (diff | hist) . . (+27) . . Talk:Tutorials (→Tutorials that need written) (current)
- 20:08, 2 October 2007 (diff | hist) . . (+94) . . N User talk:Ccasin (New page: Welcome to the Twelf Party! ~~~~) (current)
- 18:51, 2 October 2007 (diff | hist) . . (+126) . . N User:Twilson (make page blue)
- 17:07, 1 October 2007 (diff | hist) . . (+270) . . The Twelf Project:To do (→Wish-list items: +CC) (current)
- 20:25, 26 September 2007 (diff | hist) . . (-9) . . m Natural numbers (Reverted edits by 195.55.130.44 (Talk); changed back to last version by Rsimmons)
- 22:25, 25 April 2007 (diff | hist) . . (+95) . . What's new (add todd's tutorial)
- 13:23, 28 March 2007 (diff | hist) . . (+2) . . m The Twelf Project:Contributors (missing separator)
- 15:27, 21 March 2007 (diff | hist) . . (-38) . . %total (improve accuracy; remove reminders of our bugs that are like ancient history anyway) (current)
- 15:21, 21 March 2007 (diff | hist) . . (+28) . . %worlds (link up some stuff)
- 15:20, 21 March 2007 (diff | hist) . . (+96) . . N Talk:%worlds (New page: This is a good article. Kudos. ~~~~) (current)
- 15:18, 21 March 2007 (diff | hist) . . (+207) . . The Twelf Project:1.0 (→Tom's demands: marking off some more things) (current)
- 15:16, 21 March 2007 (diff | hist) . . (+4) . . Template:The Twelf Project/Introduction (We prefer languages to tools) (current)
- 15:13, 21 March 2007 (diff | hist) . . (+58) . . Canonical form (fix refs)
- 15:11, 21 March 2007 (diff | hist) . . (+270) . . Talk:Download (Software links?)
- 14:24, 20 March 2007 (diff | hist) . . (+192) . . Intrinsic and extrinsic encodings (+see also)
- 14:21, 20 March 2007 (diff | hist) . . (+30) . . N Beta-equivalent (alt name) (current)
- 14:20, 20 March 2007 (diff | hist) . . (+30) . . N Beta equivalent (alt name) (current)
- 14:20, 20 March 2007 (diff | hist) . . (+30) . . N Beta equivalence (alt name) (current)
- 14:20, 20 March 2007 (diff | hist) . . (+30) . . N Î’ equivalence (alt name) (current)
- 14:19, 20 March 2007 (diff | hist) . . (+30) . . N Î’-equivalence (alt name) (current)
- 14:19, 20 March 2007 (diff | hist) . . (+22) . . Beta-equivalence (doesn't exist, but target should be singular, alternate name) (current)
- 14:16, 20 March 2007 (diff | hist) . . (0) . . The Twelf Project:Contributors (sort lines by username)
- 14:15, 20 March 2007 (diff | hist) . . (+18) . . m Explicit context (style)
- 14:12, 20 March 2007 (diff | hist) . . (+35) . . LF (citations are parenthetical)
- 12:42, 19 March 2007 (diff | hist) . . (+348) . . Talk:Mutable state (Rename?)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
