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