User contributions
From The Twelf Project
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 15:38, 24 August 2011 (diff | hist) Talk:Ask Twelf Elf (→Twelf 1.7.1 ?: new section)
- 20:58, 11 December 2010 (diff | hist) User:Boyland (→Is HOAS countable?)
- 22:01, 27 November 2010 (diff | hist) m User:Boyland
- 11:52, 14 June 2010 (diff | hist) Error messages (sorted and added signature error) (top)
- 18:17, 22 February 2010 (diff | hist) m Talk:Ask Twelf Elf (→freezing violation: X would depend on Y)
- 18:06, 22 February 2010 (diff | hist) Talk:Ask Twelf Elf (→freezing violation: X would depend on Y)
- 17:47, 22 February 2010 (diff | hist) Talk:Ask Twelf Elf (→freezing violation: X would depend on Y)
- 15:37, 20 February 2010 (diff | hist) Talk:Ask Twelf Elf (→freezing violation: X would depend on Y: new section)
- 15:26, 20 February 2010 (diff | hist) Talk:Ask Twelf Elf (→proving things about an intensional property)
- 22:36, 8 January 2010 (diff | hist) Talk:Converting between implicit and explicit parameters (→Using abbreviations to convert from explicit to implicit: new section) (top)
- 09:31, 27 December 2009 (diff | hist) N Talk:Debugging coverage errors (Added discussion of coverage errors in nasty situations) (top)
- 08:51, 23 November 2009 (diff | hist) User:Boyland (→Known Bugs: -- added two known bugs from Rob Simmons)
- 10:22, 21 November 2009 (diff | hist) m User:Boyland (→Type Reconstruction Nontermination)
- 22:40, 20 November 2009 (diff | hist) m User:Boyland (→Type Reconstruction Nontermination)
- 22:31, 20 November 2009 (diff | hist) User:Boyland (→Known Bugs: --added new bug)
- 22:37, 7 July 2009 (diff | hist) Talk:Ask Twelf Elf (→proving things about an intensional property)
- 21:25, 7 July 2009 (diff | hist) Talk:Ask Twelf Elf (→proving things about an intensional property)
- 13:57, 2 March 2009 (diff | hist) Talk:Ask Twelf Elf (→proving things about an intensional property)
- 16:29, 27 February 2009 (diff | hist) m Talk:Ask Twelf Elf (→proving things about an intensional property)
- 16:26, 27 February 2009 (diff | hist) Talk:Ask Twelf Elf (→proving things about an intensional property: new section)
- 13:25, 20 May 2008 (diff | hist) User:Boyland (→Is HOAS countable?)
- 13:21, 20 May 2008 (diff | hist) N Indexed HOAS nat bijection (Added new page on indexed HOAS) (top)
- 18:01, 9 May 2008 (diff | hist) HOAS nat bijection (Fixed headers)
- 17:14, 8 May 2008 (diff | hist) m Twelf with Emacs (→Edit your .emacs file: (fixed typo))
- 16:31, 7 May 2008 (diff | hist) N Talk:Twelf with Emacs (created; questions about the emacs) (top)
- 18:32, 6 May 2008 (diff | hist) User:Boyland (→What free variables?)
- 18:30, 6 May 2008 (diff | hist) m Debugging coverage errors (→A Messy Example)
- 18:29, 6 May 2008 (diff | hist) m Debugging coverage errors (→A Messy Example)
- 18:26, 6 May 2008 (diff | hist) Debugging coverage errors (→A Messy Example)
- 18:25, 6 May 2008 (diff | hist) m Debugging coverage errors (→A Messy Example)
- 18:21, 6 May 2008 (diff | hist) Debugging coverage errors (→A Messy Example)
- 18:07, 6 May 2008 (diff | hist) m Debugging coverage errors (→A Messy Example)
- 18:06, 6 May 2008 (diff | hist) Debugging coverage errors (→Debugging input coverage errors by adding type annotations: new Section)
- 10:17, 7 February 2008 (diff | hist) m User talk:Boyland (→Hoas/Natural Numbers: ready but not perfect) (top)
- 10:12, 7 February 2008 (diff | hist) m Talk:%theorem (not anonymous) (top)
- 22:31, 28 January 2008 (diff | hist) User:Boyland (→Is HOAS countable?)
- 22:29, 28 January 2008 (diff | hist) N HOAS nat bijection (New page: %{ = Bijection from HOAS to natural numbers = }% %{ == Preliminaries == }% %{ This file shows a simple HOAS term type and a mapping from these terms to the natural numbers. It depends o...)
- 20:45, 28 January 2008 (diff | hist) User:Boyland
- 20:42, 28 January 2008 (diff | hist) User:Boyland (→Is HOAS countable?)
- 22:36, 24 January 2008 (diff | hist) N Talk:%theorem (New page: This page seems too terse and erroneous too. %theorem is equivalent to a type family definition and a mode definition (and much more readable!). It does NOT include %worlds. I know that ''...)
- 17:30, 24 December 2007 (diff | hist) User:Boyland
- 17:29, 24 December 2007 (diff | hist) User:Boyland (→Desired Features)
- 17:20, 24 December 2007 (diff | hist) User:Boyland (→Is HOAS countable?)
- 10:49, 19 September 2007 (diff | hist) User:Boyland (→Desired Features)
- 09:53, 22 August 2007 (diff | hist) User:Boyland
- 09:49, 22 August 2007 (diff | hist) User talk:Boyland
- 09:45, 22 August 2007 (diff | hist) m User talk:Boyland (→Is HOAS countable?)
- 08:54, 22 August 2007 (diff | hist) m Talk:Ask Twelf Elf (→Mapping HOAS isomorphically to the natural numbers)
- 08:53, 22 August 2007 (diff | hist) User talk:Boyland (→Challenges)
- 08:47, 22 August 2007 (diff | hist) User talk:Boyland (Challenges)
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
