Agda (programming language): Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 05:2905:29, 5 January 2010 150.29.49.62 talk 3,615 bytes −1 →Agda undo
curprev 02:2802:28, 5 January 2010 150.29.49.62 talk 3,616 bytes +56 No edit summary undo

curprev 17:5417:54, 1 January 2010 Greenrd talk contribs 3,560 bytes +43 influenced by Haskell undo

curprev 16:2316:23, 17 December 2009 Rjwilmsi talk contribs m 3,517 bytes +5 date comma fixes + gen fixes using Project:AWB undo

curprev 23:2423:24, 3 November 2009 Gwern talk contribs 3,512 bytes +78 Undid revision 322618365 by Matt Crypto (talk) don't see any reason not to use it. removing it won't magically make examples appear undo

curprev 22:0122:01, 28 October 2009 Matt Crypto talk contribs 3,434 bytes −78 Image is decorative, rather than illustrative; it'd be much better to give actual examples in text undo

curprev 15:5315:53, 17 September 2009 129.16.192.102 talk 3,512 bytes +10 No edit summary undo
curprev 15:5015:50, 17 September 2009 129.16.192.102 talk 3,502 bytes −23 →External links: Updated to current homepage undo
curprev 15:4815:48, 17 September 2009 129.16.192.102 talk 3,525 bytes −19 →Agda 2: More up-to-date information undo

curprev 01:5801:58, 11 September 2009 BBar talk contribs m 3,544 bytes +1 →External links undo

curprev 05:2005:20, 5 July 2009 Greenrd talk contribs 3,543 bytes −3 →Agda 2: I think this reads better (not sure whether the old version was correct English) undo

curprev 00:2900:29, 18 June 2009 Cydebot talk contribs m 3,546 bytes +14 Robot - Moving category Free Haskell software to Free software programmed in Haskell per CFD at Wikipedia:Categories for discussion/Log/2009 June 5. undo

curprev 18:1118:11, 26 April 2009 195.169.209.189 talk 3,532 bytes +31 fixed Epigram link undo
curprev 18:0718:07, 26 April 2009 195.169.209.189 talk 3,501 bytes +11 added influenced_by undo
curprev 18:0618:06, 26 April 2009 195.169.209.189 talk 3,490 bytes +674 added infobox undo
curprev 17:5617:56, 26 April 2009 195.169.209.189 talk 2,816 bytes +95 added categories undo

curprev 01:2201:22, 26 December 2008 Gwern talk contribs 2,721 bytes +5 →External links: subcat undo

curprev 19:4019:40, 26 November 2008 129.16.192.179 talk 2,716 bytes +30 Adding information about the author. undo

curprev 03:3503:35, 8 November 2008 67.122.210.149 talk 2,686 bytes +5 terminology undo

curprev 22:5522:55, 3 July 2008 Gioto talk contribs m 2,681 bytes +24 →References undo

curprev 09:3309:33, 15 June 2008 Rjwilmsi talk contribs m 2,657 bytes −1 Typo/accessdate/date fixes, typos fixed: deduceable → deducible using AWB undo

curprev 15:5415:54, 29 May 2008 213.66.212.142 talk 2,658 bytes +2 No edit summary undo

curprev 20:1720:17, 5 May 2008 147.31.137.152 talk 2,656 bytes +25 →External links: refer to the Agda wiki as the homepage, since it is, to help google find it undo

curprev 09:0109:01, 13 March 2008 129.16.29.16 talk 2,631 bytes −59 No edit summary undo

curprev 21:5621:56, 22 February 2008 Gwern talk contribs 2,690 bytes +29 →External links: don't forget, written in haskell undo

curprev 10:4410:44, 18 February 2008 129.16.243.52 talk 2,661 bytes +2 No edit summary undo

curprev 01:1701:17, 29 January 2008 Gwern talk contribs 2,659 bytes 0 past tense undo

curprev 04:5104:51, 28 January 2008 Caerwine talk contribs 2,659 bytes +11 restub undo

curprev 21:5421:54, 12 December 2007 Greenrd talk contribs m 2,648 bytes +4 subcatted undo

curprev 14:2514:25, 25 November 2007 Cydebot talk contribs m 2,644 bytes +17 Robot - Moving category Theorem provers to Theorem proving software systems per CFD at Wikipedia:Categories for discussion/Log/2007 November 16. undo

curprev 14:2914:29, 25 July 2007 Hairy Dude talk contribs 2,627 bytes 0 "Emacs" is a proper noun, so needs capitalising undo

curprev 08:3208:32, 21 June 2007 UlfNorell talk contribs 2,627 bytes +20 →Agda 2: added Makoto as emacs mode developer undo

curprev 17:3417:34, 18 June 2007 Nattfodd talk contribs 2,607 bytes +91 Removed {{context}} warning and changed a bit the introduction undo
curprev 17:1917:19, 18 June 2007 Nattfodd talk contribs 2,516 bytes +180 Mention of emacs mode and of epigram undo
curprev 17:1517:15, 18 June 2007 Nattfodd talk contribs 2,336 bytes +741 Extension of the Agda article, including Agda2 precisions, AIM meetings and a link to the wiki undo
curprev 17:0317:03, 18 June 2007 DainDwarf talk contribs m 1,595 bytes +78 image undo

curprev 02:5702:57, 11 May 2007 Oleg Alexandrov talk contribs m 1,517 bytes −14 not math undo

curprev 11:1211:12, 10 May 2007 Tea2min talk contribs m 1,531 bytes +59 Agda was developed at Chalmers University of Technology. undo
curprev 11:0811:08, 10 May 2007 Tea2min talk contribs m 1,472 bytes 0 moved Agda theorem prover to Agda (theorem prover): Wikipedia:Disambiguation suggests parentheses for disambiguation. undo
curprev 11:0711:07, 10 May 2007 Tea2min talk contribs m 1,472 bytes +13 Agda project home page has moved. undo
curprev 10:2810:28, 10 May 2007 Tea2min talk contribs m 1,459 bytes −5 Copy-edit undo

curprev 04:0804:08, 17 December 2006 Safemariner talk contribs 1,464 bytes +12 +context undo

curprev 23:0123:01, 12 December 2006 Txa talk contribs m 1,452 bytes +27 link to ITT instead of type theory undo
curprev 17:5517:55, 12 December 2006 MarSch talk contribs 1,425 bytes +19 {{math-stub}} {{software-stub}} undo

curprev 12:5212:52, 9 May 2006 195.176.178.209 talk 1,406 bytes 0 →References undo
curprev 12:5112:51, 9 May 2006 195.176.178.209 talk 1,406 bytes +62 →References undo

curprev 12:2112:21, 18 March 2006 Jitse Niesen talk contribs m 1,344 bytes −16 format undo

curprev 23:5223:52, 17 March 2006 Patrikj talk contribs 1,360 bytes +378 Expanded on the description (from Catarina's tutorial) undo
curprev 23:4423:44, 17 March 2006 Patrikj talk contribs m 982 bytes +34 Additional category classification undo
curprev 23:2723:27, 17 March 2006 Patrikj talk contribs 948 bytes +948 Created stub for the Agda prover

Agda (programming language): Revision history

5 January 2010

1 January 2010

17 December 2009

3 November 2009

28 October 2009

17 September 2009

11 September 2009

5 July 2009

18 June 2009

26 April 2009

26 December 2008

26 November 2008

8 November 2008

3 July 2008

15 June 2008

29 May 2008

5 May 2008

13 March 2008

22 February 2008

18 February 2008

29 January 2008

28 January 2008

12 December 2007

25 November 2007

25 July 2007

21 June 2007

18 June 2007

11 May 2007

10 May 2007

17 December 2006

12 December 2006

9 May 2006

18 March 2006

17 March 2006