- Main.AIMXXXIX . . . by Patrik Jansson: Added myself as participant
- Main.HomePage . . . by Andreas Abel: Agda 2.7.0.1 release
- Main.AgdaMeetings . . . by Andreas Abel:
- Libraries.StandardLibrary . . . by Andreas Abel:
- Main.Download . . . by ?: Agda 2.7.0.1 release
- Main.AIMXXXVIII . . . by Jonathan Coates:
- Main.PapersUsingAgda . . . by anuyts: Add my papers
- Main.AIMXXXVII . . . by L-T Chen:
- Main.Windows . . . by Andreas Abel: Delete NotOneClick Windows Installer, pointing to agda.google (broken)
- Windows.Notes . . . by Andreas Abel:
- Main.History . . . by Thierry:
- Main.AIMXXXVI . . . by ?:
- Main.AIM . . . by ?:
- Main.AIMOrganizerGuide . . . by ?:
- Main.AIMXXXI . . . by Orestis Melkonian: Add Google Drive links to slides.
- Main.Hackingpreparation . . . by anuyts:
- Site.SideBar . . . by ?:
- Main.Howto . . . by ?:
- Main.Documentation . . . by ?:
- Main.Courses . . . by ?:
- Main.GettingStarted . . . by ?:
- Main.Libraries . . . by ?:
- Main.Othertutorials . . . by ?:
- Main.AIMXXXV . . . by Orestis Melkonian:
- Libraries.AOPA . . . November 22, 2021, at 12:33 AM by ?:
- Main.Community . . . September 28, 2021, at 01:24 AM by Jacques Carette:
- Main.AIMXXXIV . . . June 11, 2021, at 05:55 PM by ?:
- Main.AIMXXXIV-wrapup . . . June 11, 2021, at 03:43 PM by ?:
- Main.AIMXXXIII . . . May 26, 2021, at 12:13 PM by ?:
- Main.AIMXXXII . . . October 24, 2020, at 09:38 AM by ?:
- Main.AIMXXXIII-wrapup . . . October 23, 2020, at 01:43 PM by ?:
- AIMXXIII.LogoCompetition . . . July 27, 2020, at 07:31 AM by ?:
- ReferenceManual.Totality . . . July 03, 2020, at 08:35 AM by Fabian Kunze fabiankunzecsuni-saarlandde: Coq allows allows more than just primitive recursive definitions, for example fib.
- Site.PageActions . . . March 20, 2020, at 01:08 PM by elijah ITA: Disabled
- Main.TypesSummerSchool2007 . . . October 29, 2019, at 09:31 AM by gallais: removed spam
- Main.AIMXXX . . . September 18, 2019, at 08:59 AM by Chuangjie Xu: tidy up the list of participants
- AIMXXX.Wrapup . . . September 17, 2019, at 06:42 PM by John Leo:
- ForkedReferenceManual.Records . . . April 26, 2019, at 01:03 PM by gallais: revert vandalism
- Main.AIMXXIX . . . March 19, 2019, at 07:50 AM by Youyou: wrap-up meeting (Day 7)
- ReferenceManual2.SourceFiles . . . December 14, 2018, at 06:47 PM by ?:
- ReferenceManual2.MutualDeclarations . . . December 14, 2018, at 06:46 PM by ?:
- ReferenceManual2.Mixfix . . . December 14, 2018, at 06:46 PM by ?:
- ReferenceManual2.Literals . . . December 14, 2018, at 06:46 PM by ?:
- ReferenceManual2.LexicalMatters . . . December 14, 2018, at 06:45 PM by ?:
- ReferenceManual2.Introduction . . . December 14, 2018, at 06:45 PM by ?:
- ReferenceManual2.Identifiers . . . December 14, 2018, at 06:44 PM by ?:
- ReferenceManual2.Fixity . . . December 14, 2018, at 06:44 PM by ?:
- ReferenceManual2.DependentlyTyped . . . December 14, 2018, at 06:43 PM by ?:
- ReferenceManual2.Data . . . December 14, 2018, at 06:43 PM by ?:
- ReferenceManual2.CoreSyntax . . . December 14, 2018, at 06:43 PM by ?:
- ReferenceManual2.Compilation . . . December 14, 2018, at 06:42 PM by ?:
- ReferenceManual2.Comments . . . December 14, 2018, at 06:41 PM by ?:
- Referencemanual.Referencemanual . . . December 14, 2018, at 06:40 PM by ?:
- ReferenceManual.Prop . . . December 14, 2018, at 06:39 PM by ?:
- ReferenceManual.Overview . . . December 14, 2018, at 06:38 PM by ?:
- ReferenceManual.Non-recursiveResolutionForInstanceArguments . . . December 14, 2018, at 06:37 PM by ?:
- ReferenceManual.ModellingTypeClassesWithInstanceArguments . . . December 14, 2018, at 06:36 PM by ?:
- ReferenceManual.CoreSyntax . . . December 14, 2018, at 06:35 PM by ?:
- ReferenceManual.BadInHaskell . . . December 14, 2018, at 06:35 PM by ?:
- ReferenceManual.Compiler . . . December 14, 2018, at 06:33 PM by ?:
- Docs.HowToSeeUnicode . . . December 14, 2018, at 06:32 PM by ?:
- ReferenceManual.Emacs . . . December 14, 2018, at 06:31 PM by ?:
- ReferenceManual.Mutual . . . December 14, 2018, at 06:31 PM by ?:
- ReferenceManual.PatternMatchingLambdas . . . December 14, 2018, at 06:30 PM by ?:
- ReferenceManual.Codatatypes . . . December 14, 2018, at 06:30 PM by ?:
- ReferenceManual.LexicalMatters . . . December 14, 2018, at 06:29 PM by ?:
- ReferenceManual.ImplicitArg . . . December 14, 2018, at 06:29 PM by ?:
- ReferenceManual.LocalDefinition . . . December 14, 2018, at 06:28 PM by ?:
- ReferenceManual.With-expression . . . December 14, 2018, at 06:27 PM by ?:
- ReferenceManual.ParameterizedInductiveTypes . . . December 14, 2018, at 06:26 PM by ?:
- ReferenceManual.SimpleInductiveTypes . . . December 14, 2018, at 06:26 PM by ?:
- ReferenceManual.InductiveDataTypesAndPatternMatching . . . December 14, 2018, at 06:25 PM by ?:
- ReferenceManual.FindingTheValuesOfImplicitArguments . . . December 14, 2018, at 06:24 PM by ?:
- ReferenceManual.StructureOfAnAgdaProgram . . . December 14, 2018, at 06:22 PM by ?:
- ReferenceManual.IntroWhat . . . December 14, 2018, at 05:39 PM by ?:
- ReferenceManual.StandardLibrary . . . December 14, 2018, at 05:24 PM by ?:
- ReferenceManual.LiterateAgda . . . December 14, 2018, at 05:19 PM by ?:
- ReferenceManual.ForeignFunctionInterface . . . December 14, 2018, at 05:18 PM by ?:
- ReferenceManual.Compilation . . . December 14, 2018, at 05:18 PM by ?:
- ReferenceManual.Pragmas . . . December 14, 2018, at 05:17 PM by ?:
- ReferenceManual.Irrelevance . . . December 14, 2018, at 05:15 PM by ?:
- ReferenceManual.Reflection . . . December 14, 2018, at 05:13 PM by ?:
- ReferenceManual.UniversePolymorphism . . . December 14, 2018, at 05:12 PM by ?:
- ReferenceManual.TerminationChecker . . . December 14, 2018, at 04:35 PM by ?:
- ReferenceManual.Modules . . . December 14, 2018, at 04:00 PM by ?:
- ReferenceManual.PatternMatching . . . December 14, 2018, at 03:58 PM by ?:
- ReferenceManual.Functions . . . December 14, 2018, at 03:57 PM by ?:
- ReferenceManual.Postulates . . . December 14, 2018, at 03:56 PM by ?:
- ReferenceManual.RecordsTutorial . . . December 14, 2018, at 03:56 PM by ?:
- ReferenceManual.Records . . . December 14, 2018, at 03:55 PM by ?:
- ReferenceManual.Data . . . December 14, 2018, at 03:52 PM by ?:
- ReferenceManual.Declarations . . . December 14, 2018, at 03:51 PM by ?:
- ReferenceManual.Pattern-matchingLambdas . . . December 14, 2018, at 03:49 PM by ?:
- ReferenceManual.InstanceArguments . . . December 14, 2018, at 03:48 PM by ?:
- ReferenceManual.ImplicitArguments . . . December 14, 2018, at 03:46 PM by ?:
- ReferenceManual.FixityDeclarations . . . December 14, 2018, at 03:45 PM by ?:
- ReferenceManual.Mixfix . . . December 14, 2018, at 03:44 PM by ?:
- ReferenceManual.Layout . . . December 14, 2018, at 03:43 PM by ?:
- ReferenceManual.Keywords . . . December 14, 2018, at 03:42 PM by ?:
- ReferenceManual.Names . . . December 14, 2018, at 03:41 PM by ?:
- ReferenceManual.Literals . . . December 14, 2018, at 03:40 PM by ?:
- ReferenceManual.Comments . . . December 14, 2018, at 03:39 PM by ?:
- ReferenceManual.SourceFiles . . . December 14, 2018, at 03:38 PM by ?:
- Main.AIMXXVIII . . . November 11, 2018, at 01:45 PM by Nicolai:
- Docs.MAlonzo . . . October 12, 2018, at 09:11 PM by ?:
- Main.AIMXXV . . . October 06, 2018, at 09:54 PM by Jonathan Prieto Cubides: fixed typo
- Main.MacOSX . . . July 15, 2018, at 11:56 PM by Joomy Korkut: fix typo: adga -> agda
- Main.AIMXXVII . . . June 08, 2018, at 07:38 AM by ?:
- AIMXXVII.AIMXXVII . . . April 11, 2018, at 09:49 AM by ?:
- Main.Sockets . . . February 05, 2018, at 10:04 PM by ?:
- AIMXXVI.Wrapup . . . February 05, 2018, at 01:22 PM by Andreas Abel:
- Main.AIMXXVI . . . February 05, 2018, at 01:02 PM by Andreas Abel:
- ReferenceManual.TOC . . . January 22, 2018, at 03:17 PM by ASR: Removed broken items
- ReferenceManual.LocalDefinitions . . . January 22, 2018, at 03:13 PM by ASR: Moved to Read the Docs
- Main.HowToGenerateWebPagesFromSourceCode . . . January 21, 2018, at 03:52 PM by ASR: Moved to Read the Docs
- Docs.UnicodeInput . . . January 21, 2018, at 03:40 PM by ASR:
- Main.Auto . . . January 21, 2018, at 03:30 PM by ASR: Moved to Read the Docs
- ReferenceManual.EmacsInterface . . . January 21, 2018, at 02:08 AM by ASR: Cleaning
- Main.QuickGuideToEditingTypeCheckingAndCompilingAgdaCode . . . January 20, 2018, at 06:20 PM by ASR: Moved to Read the Docs
- Main.NotationForKeyTyping . . . January 20, 2018, at 03:16 PM by ASR: Moved to Read the Docs
- Cabal.Linux . . . December 27, 2017, at 06:22 PM by ASR: Moved installation instructions to Read the Docs
- Main.FreeBSD . . . December 27, 2017, at 03:05 PM by ASR: Moved installation instrucctions to Read the Docs
- Main.Linux . . . December 27, 2017, at 03:04 PM by ASR: Moved installation instrucctions to Read the Docs
- Main.Abbreviation . . . November 29, 2017, at 03:48 PM by ?:
- PmWiki.UrlApprovals . . . October 08, 2017, at 02:17 PM by gallais: removing spam
- Main.WindowsNotes-2-4-2 . . . September 23, 2017, at 07:30 AM by ?:
- AIMXXV.Wrapup . . . May 15, 2017, at 05:10 PM by gallais: today's wrap up
- Main.Agda Implementors' Meeting XXV . . . May 02, 2017, at 07:41 PM by Víctor López Juan:
- Main.Libraries and other developments . . . April 29, 2017, at 12:13 AM by ?:
- Main.Papers Using Agda . . . April 18, 2017, at 09:38 AM by gallais: new paper
- ReferenceManual.The Agda Reference Manual . . . April 14, 2017, at 03:44 PM by ASR: Moved `Auto` documentation to the user manual
- Main.Auto . . . April 14, 2017, at 03:38 PM by ASR: Moved to the user manual
- Main.Documentation . . . April 11, 2017, at 01:07 PM by ?:
- ReferenceManual.Pragmas . . . March 30, 2017, at 02:32 PM by ASR: Moved documentation of `--with-K` and `without-K` to the user manual
- Main.Agda . . . March 20, 2017, at 04:39 PM by Víctor López Juan: Times for AIM XXV
- DevelopersManual.Bug Fixing . . . March 18, 2017, at 05:19 PM by schatzmann320: fix typo
- Cabal.Linux-Talk . . . March 09, 2017, at 06:20 PM by stoopkid:
- Cabal.Linux . . . March 09, 2017, at 06:03 PM by stoopkid: Fixing indentation: "@@sudo cabal install..." to "** @@sudo cabal install..."
- Main.Agda Meetings . . . March 08, 2017, at 02:24 PM by ?:
- Docs.Unicode Input . . . March 02, 2017, at 07:36 PM by subttle:
- Main.Feature Requests . . . February 27, 2017, at 08:54 PM by gallais: update link to bug tracker
- ReferenceManual.Core Syntax . . . January 17, 2017, at 03:23 PM by ASR: Removed incorrect documentation about forall
- Libraries.Standard Library . . . December 22, 2016, at 02:07 PM by ASR: Standard library 0.13 release
- Main.Download . . . December 22, 2016, at 01:19 PM by ASR: Agda 2.5.2 release
- Main.Agda Implementors' Meeting XXIV . . . November 14, 2016, at 02:19 PM by ?:
- AIMXXIV.Parser Errors . . . October 10, 2016, at 01:36 PM by Víctor López Juan: Some gathered intel
- Main.AIMXXIV . . . September 14, 2016, at 12:07 PM by ?:
- Main.Agda Vs Coq-Talk . . . September 14, 2016, at 11:37 AM by gallais: fix link
- Main.Installation of Agda from Source for Non-Programmers . . . July 27, 2016, at 05:17 PM by Andreas:
- AIMXXIII.Logo Competition . . . July 18, 2016, at 08:46 PM by ?:
- Main.X Compose . . . July 14, 2016, at 12:29 PM by akr: Cosmetic edits
- Main.Release Notes . . . June 21, 2016, at 03:08 PM by ASR: Release notes are available from Hackage
- Main.Publications . . . June 14, 2016, at 03:58 PM by gallais: Direct link to PapersUsingAgda
- Libraries.AOPA . . . May 18, 2016, at 09:05 AM by Shin-Cheng Mu:
- Main.Courses using Agda . . . May 14, 2016, at 04:19 PM by ?:
- Main.Agda Implementors' Meeting XXIII . . . May 02, 2016, at 11:12 PM by ?:
- AIMXXIII.Agda Implementors' Meeting XXIII progress summary . . . April 26, 2016, at 05:11 PM by gallais:
- Main.Feature Requests-Talk . . . April 25, 2016, at 10:05 AM by Robin: Ctrl-C Ctrl-C introduces pattern-matching lambda
- Main.Quick guide to editing, type checking and compiling Agda code . . . April 21, 2016, at 06:44 PM by ?:
- Docs.Emacs Mode Key Combinations . . . April 21, 2016, at 06:43 PM by ?:
- DevelopersManual.Syntax Overview . . . April 20, 2016, at 12:07 PM by ?:
- Libraries.Standard Library-Talk . . . March 02, 2016, at 10:17 AM by Robin Adams:
- ReferenceManual.With-expression . . . February 17, 2016, at 09:42 AM by ?:
- Main.Directories . . . January 17, 2016, at 06:40 PM by ?:
- Main.File Contents . . . January 17, 2016, at 06:36 PM by ?:
- Main.File Access . . . January 17, 2016, at 06:31 PM by ?:
- Main.Pattern Matching . . . January 17, 2016, at 06:26 PM by ?:
- Main.Hashes . . . January 17, 2016, at 06:20 PM by ?:
- Main.Arrays . . . January 17, 2016, at 06:16 PM by ?:
- Main.Dates and Times . . . January 17, 2016, at 06:11 PM by ?:
- Main.Numbers . . . January 17, 2016, at 06:06 PM by ?:
- Main.Agda Cookbook . . . January 17, 2016, at 06:00 PM by ?:
- Main.Strings . . . January 17, 2016, at 05:57 PM by ?:
- ReferenceManual.Pattern-matching Lambdas . . . January 08, 2016, at 05:15 PM by ?:
- ReferenceManual.Foreign Function Interface . . . January 02, 2016, at 11:05 PM by ?:
- Main.Prebuilt packages for Linux . . . December 17, 2015, at 04:17 PM by ?:
- Main.Tutorials . . . December 14, 2015, at 06:35 PM by Mark Farrell: Add OPLSS 2013 Link
- AIMXII.Notes from AIM XII . . . December 06, 2015, at 10:48 AM by ?:
- Main.Agda Implementors' Meeting XXII . . . September 29, 2015, at 07:59 AM by Wolfram Kahl: Changed title of my talk to conform with slides
- ReferenceManual.Universe Polymorphism . . . September 15, 2015, at 10:07 PM by XIE Yuheng:
- Main.New FFI . . . September 07, 2015, at 09:13 PM by ?:
- Main.History . . . August 23, 2015, at 01:21 PM by ?:
- Site.SideBar . . . August 09, 2015, at 10:37 PM by ASR: The issues are reported in GitHub
- Libraries.Lightweight Free Theorems . . . August 07, 2015, at 07:05 PM by David Feuer: Revert spam
- Main.Using Abbreviation Mode in Agda . . . June 20, 2015, at 04:58 PM by Clément: No need to use a lambda here
- Main.Agda Implementors' Meeting XXI . . . June 15, 2015, at 08:52 AM by Ulf: Link to my talk
- Main.AIMXXI Wrap Up Meetings . . . June 09, 2015, at 01:27 PM by ?:
- Main.MacOSX . . . June 08, 2015, at 12:29 PM by Andreas:
- ReferenceManual.Modules . . . June 05, 2015, at 10:39 PM by kirstin: It's semicolons, not hyphens for multiple arguments to using
- Main.AIMXXI-Talk . . . May 28, 2015, at 01:08 PM by Tom: request
- Main.Version-2-4-0 . . . May 25, 2015, at 11:42 PM by ASR: Using Hackage link for Agda 2.4.0
- Main.Release Candidates . . . May 19, 2015, at 03:28 PM by ASR: I couldn't load the .tar.gz file
- Main.Agda Release Candidates . . . May 19, 2015, at 03:01 PM by ASR:
- Main.AIMXX . . . May 01, 2015, at 11:38 AM by Tarmo Uustalu:
- PmWiki.Security . . . March 08, 2015, at 08:52 AM by coffre: security book
- Main.Literate Agda . . . February 03, 2015, at 03:03 PM by gallais: known issue
- Main.Windows . . . January 14, 2015, at 11:08 PM by Aaron Stump: added link to 2.4.2.2 Windows MSI
- Main.Community . . . January 12, 2015, at 07:13 PM by ASR:
- ReferenceManual.Compilation . . . December 23, 2014, at 09:35 PM by zachmoore99aTgmailpointcom: Removed random red links from code
- ReferenceManual.Records Tutorial . . . December 17, 2014, at 07:11 PM by Twey: Add small section on recursive records, as the information is hard to find.
- ReferenceManual.Functions . . . December 06, 2014, at 02:23 AM by Peter Selinger: \forall -> \all
- ReferenceManual.Data . . . December 06, 2014, at 01:19 AM by Peter Selinger: Changed hyperlink for "universe"
- ReferenceManual.Instance Arguments . . . December 05, 2014, at 05:07 PM by Peter Selinger: Added "forall"
- ReferenceManual.Implicit Arguments . . . December 05, 2014, at 05:01 PM by Peter Selinger: Added "forall" synax for implicit arguments
- ReferenceManual.Modelling Type Classes with Instance Arguments . . . December 04, 2014, at 07:25 PM by Peter Selinger: Attempting a redirect
- ReferenceManual.Irrelevance . . . December 02, 2014, at 05:52 AM by Peter Selinger: Inserted TOC link
- ReferenceManual.Totality . . . December 02, 2014, at 05:51 AM by Peter Selinger: Inserted TOC link
- ReferenceManual.Reflection . . . December 02, 2014, at 05:51 AM by Peter Selinger: Inserted TOC link and grammar
- ReferenceManual.Layout . . . December 02, 2014, at 04:48 AM by Peter Selinger: Added remark on exceptions
- ReferenceManual.Postulates . . . December 02, 2014, at 04:17 AM by Peter Selinger: Typos
- ReferenceManual.Declarations . . . December 02, 2014, at 02:24 AM by ?: Added fixity declarations
- ReferenceManual.Fixity Declarations . . . December 02, 2014, at 02:23 AM by ?: Punctuation
- ReferenceManual.Non-recursive Resolution for Instance Arguments . . . December 02, 2014, at 02:12 AM by ?: Inserted TOC link
- ReferenceManual.Mixfix . . . December 02, 2014, at 01:12 AM by ?: Fixed typo "more than one name part". E.g. _x, x_, _x_ all have only one name part.
- ReferenceManual.Bad in Haskell . . . November 29, 2014, at 01:09 AM by ?: Make indentation consistent
- Main.AIMXX Wrap Up . . . October 22, 2014, at 12:13 PM by ?:
- Main.Windows Notes-2-4-2 . . . October 22, 2014, at 08:44 AM by ?:
- Main.AIMXX Planning . . . October 20, 2014, at 11:06 AM by ?:
- ReferenceManual.Pattern Matching . . . October 10, 2014, at 03:26 PM by ?:
- Main.Intuitionistic Ramsey Theorem . . . October 05, 2014, at 08:03 PM by Sergei Romanenko: A correction for a typo.
- Docs.How to See Unicode in Emacs . . . September 25, 2014, at 04:32 PM by Andreas:
- ReferenceManual.Literals . . . July 21, 2014, at 12:05 PM by ?: removed spam link
- Windows.Windows Installer Notes . . . June 17, 2014, at 06:38 AM by ?: typo
- DevelopersManual.TOC . . . June 12, 2014, at 03:34 PM by Andrés Sicard-Ramírez: s/GHCI/GHCi and s/ghci/GHCi
- Main.README-2-4-0 . . . June 05, 2014, at 12:31 PM by ?: 2.4.0 readme
- Main.AIMXIX . . . May 28, 2014, at 07:49 PM by Andreas Abel:
- PmWiki.Security Variables . . . March 12, 2014, at 09:21 AM by ?:
- ReferenceManual.Keywords . . . February 07, 2014, at 04:51 PM by Andrés Sicard-Ramírez: Removed codata from keywords list
- ReferenceManual2.Compilation . . . January 27, 2014, at 01:56 AM by ?:
- ReferenceManual.Raw Irrelevance . . . December 01, 2013, at 12:25 AM by wj: Page no longer needed.
- Main.Windows Notes-2-3-2 . . . November 25, 2013, at 10:38 PM by ?:
- Main.VIM Editing . . . November 16, 2013, at 09:29 PM by ?:
- Main.Performance Tips . . . November 06, 2013, at 02:43 PM by Bas Dirks: missing letter
- Main.Courses Using Agda . . . November 02, 2013, at 08:31 PM by Andreas Abel:
- ReferenceManual.Intro What . . . November 02, 2013, at 06:37 AM by FZ: typo
- Main.README-2-3-2-2 . . . October 30, 2013, at 05:41 PM by NAD: Released Agda 2.3.2.2.
- Main.Version-2-3-2-2 . . . October 30, 2013, at 05:39 PM by NAD: Released Agda 2.3.2.2.
- Profiles.Wojciech Jedynak . . . October 07, 2013, at 07:54 PM by ?:
- Main.Marco Buiatti . . . September 27, 2013, at 08:20 PM by NAD: Rollback.
- Main.PmWiki . . . September 27, 2013, at 08:19 PM by NAD: Rollback.
- Main.Agda Implementors' Meeting XVIII . . . September 23, 2013, at 05:12 PM by danr: link to Thierry's talk
- ReferenceManual.Termination Checker . . . September 11, 2013, at 01:56 PM by ?: Minor language fixes
- Main.README-2-3-2-1 . . . June 11, 2013, at 04:55 PM by Andrés Sicard-Ramírez: Fixed README-2-3-2-1
- Main.Version-2-3-2 . . . June 11, 2013, at 12:59 PM by ?: more "--" correctly formatted
- Main.README-2-3-2 . . . June 11, 2013, at 12:11 AM by Andrés Sicard-Ramírez: Added README-2-3-2
- Main.Version-2-3-2-1 . . . June 10, 2013, at 06:59 PM by Andrés Sicard-Ramírez: Release notes for Agda 2.3.2.1.
- Main.Record of AIMXVII . . . June 07, 2013, at 03:54 AM by ?:
- Main.AIMXVII . . . June 06, 2013, at 07:15 AM by ?:
- ReferenceManual2.Fixity . . . May 28, 2013, at 09:02 AM by ?:
- Docs.Module System . . . May 04, 2013, at 01:00 AM by Dan Krejsa: f was not in scope in the definition of g. Changed to B.f.
- ReferenceManual.Local Definitions . . . April 19, 2013, at 04:11 PM by Andrés Sicard-Ramírez: Fixed typos
- Main.AIMXVI . . . March 11, 2013, at 10:44 AM by Péter Diviánszky: https --> http
- Libraries.Rules for the Standard Set Formers . . . March 10, 2013, at 06:05 AM by Andrés Sicard-Ramírez: Removed whitespaces
- Main.Code Sprints . . . January 29, 2013, at 08:59 AM by ?:
- ReferenceManual.Records . . . January 21, 2013, at 02:10 PM by gallais: fixing the general form of a record declaration to match actual implementation
- ReferenceManual.Names . . . December 11, 2012, at 05:45 AM by Andres Sicard-Ramírez: Fixed characters not allowed in a name part
- ReferenceManual.Structure of an Agda Program . . . November 11, 2012, at 02:35 AM by ?:
- ReferenceManual.Finding the Values of Implicit Arguments . . . November 07, 2012, at 12:10 PM by Andreas Abel:
- D-Case-Agda."D-Case in Agda" Verification Tool (D-Case/Agda) . . . November 06, 2012, at 02:30 PM by ?:
- Main.AIMXVI Code Sprint . . . October 12, 2012, at 11:17 PM by Peter Divianszky: bug 639 is not fixed yet
- Docs.MAlonzo . . . October 11, 2012, at 11:06 PM by nomeata: Fix IO link
- ReferenceManual.Troubleshooting . . . October 10, 2012, at 04:59 PM by Daniel Gustafsson: Added a troubleshooting section for showing fixes to common problems.
- ReferenceManual.Mutual . . . October 09, 2012, at 10:39 AM by ?:
- ReferenceManual.Prop . . . October 09, 2012, at 10:05 AM by ?:
- ReferenceManual.Typing Rules . . . October 09, 2012, at 10:04 AM by ?:
- ReferenceManual.Modules-Talk . . . June 21, 2012, at 02:57 AM by Anonymous:
- ReferenceManual.Source Files . . . February 27, 2012, at 03:19 AM by Neil Strickland: various additional comments
- ReferenceManual.Standard Library . . . February 25, 2012, at 10:09 PM by xz:
- ReferenceManual.Emacs Interface . . . February 25, 2012, at 06:49 PM by xz:
- Main.AIMXV . . . February 25, 2012, at 10:00 AM by ?:
- ReferenceManual.Comments . . . February 24, 2012, at 02:49 PM by ?:
- Docs.Old Docs . . . February 24, 2012, at 02:49 PM by ?:
- ReferenceManual.TOC . . . February 24, 2012, at 02:46 PM by ?:
- ReferenceManual.Inductive Data Types and Pattern Matching . . . February 24, 2012, at 02:45 PM by ?:
- ReferenceManual2.Literals . . . February 24, 2012, at 02:31 PM by ?:
- ReferenceManual2.TOC . . . February 24, 2012, at 10:30 AM by xz:
- ReferenceManual2.Comments . . . February 24, 2012, at 08:42 AM by ?:
- ReferenceManual2.Data . . . February 22, 2012, at 09:34 PM by xz:
- ReferenceManual2.Core Syntax . . . February 22, 2012, at 08:07 PM by xz:
- ReferenceManual2.Names . . . February 22, 2012, at 07:56 PM by xz:
- ReferenceManual2.Source Files . . . February 22, 2012, at 06:24 PM by xz:
- ReferenceManual2.Dependently Typed . . . February 22, 2012, at 10:52 AM by xz:
- ReferenceManual2.Identifiers . . . February 21, 2012, at 08:43 PM by xz:
- ReferenceManual2.Mutual Declarations . . . February 21, 2012, at 06:52 PM by xz:
- ReferenceManual2.Lexical Matters . . . February 21, 2012, at 06:35 PM by Paul: formatting
- ReferenceManual2.Mixfix . . . February 21, 2012, at 06:19 PM by Paul: mention prefix notation
- ReferenceManual2.Introduction . . . February 21, 2012, at 06:16 PM by xz:
- ReferenceManual.Compiler . . . February 21, 2012, at 04:30 PM by xz:
- Main.Getting Started . . . February 20, 2012, at 06:33 PM by ?:
- ReferenceManual.Pattern Matching Lambdas . . . February 20, 2012, at 06:04 PM by ?:
- ReferenceManual.Modelling Type Classes with Instance Arguments-Talk . . . January 31, 2012, at 12:07 AM by erus: !
- Main.VIM Editing-Talk . . . January 18, 2012, at 01:28 PM by erus:
- ReferenceManual.Simple Inductive Types . . . December 08, 2011, at 05:53 PM by Wojciech Jedynak: Add a link
- Main.README-2-3-0 . . . November 23, 2011, at 10:22 AM by Ulf:
- Main.Version-2-3-0 . . . November 23, 2011, at 10:21 AM by Ulf:
- Docs.Implicit Arguments . . . November 17, 2011, at 04:09 PM by NAD: Fixed formatting error.
- D-Case-Agda.D-Case/Agda . . . October 14, 2011, at 05:30 PM by ?:
- Main.Php . . . October 14, 2011, at 04:24 PM by ?:
- D-Case-Agda.Top Page . . . October 14, 2011, at 04:22 PM by ?:
- Main.Wiki Sandbox . . . October 14, 2011, at 04:18 PM by ?:
- AIMXIV.Pictures . . . September 19, 2011, at 02:03 PM by ?:
- AIMXIV.Program Etc . . . September 16, 2011, at 01:59 AM by ?:
- AIMXIV.Code Sprint . . . September 13, 2011, at 08:05 PM by ?:
- AIMXIV.Announcement Etc . . . September 12, 2011, at 06:26 AM by ?:
- AIMXIV.Excursion on Saturday . . . September 09, 2011, at 09:31 AM by ?:
- ForkedReferenceManual.Records . . . July 24, 2011, at 03:40 PM by Wojciech Jedynak:
- Main.Standardlibrary . . . July 01, 2011, at 05:09 PM by NAD: Merged this page with Libraries.StandardLibrary.
- Windows.Windows Installer Misc. Notes . . . June 15, 2011, at 05:32 AM by ?:
- Windows.Notes . . . June 15, 2011, at 05:20 AM by ?:
- PmWiki.Audiences . . . June 13, 2011, at 11:16 AM by NAD:
- AIMXIII.Program etc. . . . May 25, 2011, at 05:52 PM by Andrés Sicard-Ramírez: Added slides for AIMXIII talk
- PmWiki.Php . . . May 21, 2011, at 10:52 AM by ?:
- Main.Epic . . . April 27, 2011, at 04:15 PM by NAD: Fixed some formatting errors.
- ReferenceManual.Non-recursive Resolution for Non-canonical Implicit Arguments . . . April 21, 2011, at 03:14 PM by Dominique Devriese: First version
- ReferenceManual.Modelling Type Classes with Non-canonical Implicits . . . April 21, 2011, at 02:55 PM by Dominique Devriese: More details for ModellingTypeClassesWithNon-canonicalImplicits
- ReferenceManual.Non-canonical Implicit Arguments . . . April 21, 2011, at 02:26 PM by Dominique Devriese: First version
- AIMXIII.Code Sprint Discussion . . . April 12, 2011, at 03:39 PM by ?:
- AIMXIII.AIMXIV . . . April 12, 2011, at 02:07 PM by ?:
- Main.Agda Implementors' Meeting XIII . . . March 15, 2011, at 03:27 PM by NAD: Added link to program.
- Main.README-2-2-10 . . . February 20, 2011, at 07:23 PM by NAD: Released Agda 2.2.10.
- Main.Version-2-2-10 . . . February 20, 2011, at 07:23 PM by NAD: Released Agda 2.2.10.
- ReferenceManual.Coinductive data types . . . January 01, 2011, at 01:44 PM by NAD: Linked to message describing some limitations of the current implementation.
- ReferenceManual.Records-Talk . . . November 02, 2010, at 01:58 AM by Rob Simmons: sign
- Main.Version-2-2-8 . . . September 28, 2010, at 10:00 AM by Ana:
- Main.README-2-2-8 . . . September 28, 2010, at 12:10 AM by NAD: Released Agda 2.2.8.
- AIMXII.Program etc. . . . September 24, 2010, at 06:14 AM by NAD: Minor change.
- MixFixBinders.Mix Fix Binders . . . September 12, 2010, at 12:49 PM by ?:
- AIMXII.Process Algebra . . . September 07, 2010, at 04:19 PM by ?:
- AIMXII.Future of Agda . . . September 07, 2010, at 02:33 PM by ?:
- Main.Agda Implementors' Meeting XII . . . September 01, 2010, at 03:23 PM by ?:
- Libraries.Some Combinators . . . April 13, 2010, at 02:53 PM by ?:
- Main.Informal Argument in Agda . . . March 31, 2010, at 03:59 PM by ?:
- Main.AIMXIUPDATES . . . March 30, 2010, at 09:12 AM by ?:
- Main.Agda Vs Coq . . . March 29, 2010, at 12:08 AM by Hairy Dude: posessive its has no apostrophe
- Main.FreeBSD . . . January 08, 2010, at 07:24 PM by NAD: Listed FreeBSD packages.
- Main.Prebuilt packages for Linux/*BSD . . . January 08, 2010, at 07:22 PM by NAD: Listed FreeBSD packages.
- Main.Universe Polymorphism . . . December 27, 2009, at 05:10 PM by NAD: Replied to a comment.
- Main.Version-2-2-6 . . . December 23, 2009, at 05:38 PM by NAD: Release notes for Agda 2.2.6.
- Main.README-2-2-6 . . . December 23, 2009, at 05:08 PM by NAD: README for Agda 2.2.6.
- ReferenceManual.Lexical Matters . . . December 03, 2009, at 03:16 PM by NAD: Added some reserved words.
- Main.The 10th Agda Implementors' Meeting . . . November 28, 2009, at 10:13 PM by Wolfram Kahl: typo fixed: separte -> separate
- ReferenceManual.Functions-Talk . . . November 28, 2009, at 02:22 AM by Wolfram Kahl: Elementary questions about type syntax.
- Main.README-2-2-4 . . . October 27, 2009, at 02:14 PM by NAD: README for 2.2.4.
- ReferenceManual.Implicit Arg . . . October 07, 2009, at 11:00 AM by NAD: Pointed out that the documentation does not match the implementation.
- Main.Other Tutorials . . . September 17, 2009, at 02:39 PM by ?:
- Docs.FFI . . . September 09, 2009, at 03:43 PM by gelisam: added pragmas to the putStrLn example to make it work
- Main.AIMX . . . August 31, 2009, at 11:50 AM by Ulf Norell:
- Main.Release notes for Agda 2 version 2.2.4 . . . July 07, 2009, at 10:38 PM by NAD: Released Agda 2.2.4.
- Main.Quick Guide to Editing Type Checking and Compiling Agda Code-Talk . . . June 18, 2009, at 12:37 PM by NAD: Fixed a broken link.
- Main.Contributions . . . June 12, 2009, at 04:53 PM by NAD: Merged the Libraries and Contributions pages.
- Main.Implementing Some Functions and Theorems in the Book Types and Programming Languages by Benjamin Pierce . . . June 12, 2009, at 04:46 PM by David Norberg:
- Main.Installation of Agda from Source for Non-Programmers (Old Version 0) . . . June 09, 2009, at 07:54 PM by ?:
- Main.Installation of Agda from Source for Non-Programmers . . . June 09, 2009, at 07:53 PM by ?:
- Libraries.Modules in the Standard Library . . . April 23, 2009, at 05:24 PM by NAD: Moved large parts of the library documentation away from the wiki.
- Libraries.Using the Ring Solver-Talk . . . April 22, 2009, at 07:08 PM by NAD: Answered a question.
- Main.AFP Summer School 2008 . . . April 21, 2009, at 01:04 PM by ?:
- Libraries.Using the Ring Solver . . . April 20, 2009, at 05:04 PM by Robert Simmons:
- Main.Release notes for Agda 2 version 2.2.2 . . . April 16, 2009, at 11:29 PM by NAD: Released Agda 2.2.2.
- Main.Release notes for Agda 2 version 2.2.0 . . . April 16, 2009, at 10:46 PM by NAD:
- ReferenceManual.Parameterized Inductive Types . . . March 18, 2009, at 02:54 PM by Sigurd Meldgaard: singularized a word
- Main.Updating Agda after having installed it from Source . . . March 16, 2009, at 05:04 AM by ?:
- Main.Installation of Agda from Source for Non-Programmers - QuickCheck . . . February 15, 2009, at 11:40 AM by ?: typo and pb with typewriter interpreting --
- ReferenceManual.Emacs . . . January 25, 2009, at 12:55 AM by ?: fix links
- Main.Libraries . . . December 17, 2008, at 02:36 PM by NAD: Added a parser combinator library.
- Main.How to Generate Web Pages from Source Code . . . December 10, 2008, at 05:49 PM by NAD: Documented agda --html.
- Main.How to Insert Agda Code in La Te X Documents . . . December 08, 2008, at 07:21 PM by NAD: Wrote about literate Agda.
- Main.Inductive Families . . . December 08, 2008, at 06:20 PM by Peter Berry: merge lines in list
- Main.Prebuilt packages for Linux (Debian/Ubuntu) . . . December 03, 2008, at 05:30 PM by NAD: Changed title.
- Main.Linux . . . December 03, 2008, at 05:28 PM by NAD: Added a page with instructions for how to install the prebuilt Linux packages.
- Main.AIM 9 Code Sprint . . . December 03, 2008, at 02:09 PM by ?:
- Main.Song . . . December 02, 2008, at 12:52 PM by ?:
- Main.Installation of Agda from Source for Non-Programmers - Darcs . . . December 02, 2008, at 10:38 AM by ?:
- Libraries.Martin-Löf Type Theory . . . December 02, 2008, at 09:24 AM by ?:
- Main.Notation for key combinations . . . December 02, 2008, at 09:24 AM by NAD: Improved text, added space bar.
- Libraries.Mltt . . . December 02, 2008, at 08:25 AM by ?:
- Main.Installation of Agda from Source for Nonprogrammers . . . December 02, 2008, at 07:45 AM by ?:
- Main.Installation of Agda from Source for Non-Programmers - Zlib . . . December 02, 2008, at 07:21 AM by ?:
- Libraries.MLTT . . . December 02, 2008, at 07:19 AM by ?:
- Main.Installation of Agda from Source for Non-Programmers - Alex . . . December 02, 2008, at 07:17 AM by ?:
- Main.Installation of Agda from Source for Non-Programmers - Binary . . . December 02, 2008, at 07:17 AM by ?:
- Main.Installation of Agda from Source for Non-Programmers - Happy . . . December 02, 2008, at 07:12 AM by ?:
- Main.Installation of Agda from Source Alex . . . December 02, 2008, at 07:07 AM by ?:
- Main.Installation of Agda from Source Ghc . . . December 02, 2008, at 06:57 AM by ?:
- Main.Quick Guide to the System . . . December 02, 2008, at 03:25 AM by ?:
- ReferenceManual.Literate Agda . . . December 01, 2008, at 06:17 AM by ?:
- Docs.Names . . . December 01, 2008, at 05:46 AM by ?:
- Main.Othertutorials . . . December 01, 2008, at 05:11 AM by ?:
- Main.Notation for Key Typing . . . December 01, 2008, at 03:21 AM by ?:
- Main.Agda Intensive Meetings . . . November 28, 2008, at 08:01 AM by ?:
- Main.Main . . . November 28, 2008, at 07:21 AM by ?:
- Main.Slides Presented At AIM 9 . . . November 27, 2008, at 10:18 AM by ?:
- SYSTEM.Agda . . . November 18, 2008, at 12:55 PM by ?:
- Libraries.Sequent . . . November 18, 2008, at 12:52 PM by ?:
- Main.Waseda . . . November 11, 2008, at 03:09 PM by ?:
- Patch.Submitted . . . September 04, 2008, at 08:11 AM by ?:
- ReferenceManual.Codatatypes . . . August 27, 2008, at 04:09 PM by ?: typo
- Main.Discussion . . . July 09, 2008, at 04:18 PM by NAD: Reorganised the page.
- Docs.M Alonzo . . . June 16, 2008, at 04:13 PM by NAD: The requirement that main has type IO () has been weakened.
- ReferenceManual.Emacs-Talk . . . June 04, 2008, at 04:56 PM by Miguel:
- Site.Page Actions . . . June 04, 2008, at 04:50 PM by Ulf Norell:
- Main.Home Page-Talk . . . June 04, 2008, at 04:50 PM by Ulf Norell:
- Main.Documentation-Talk . . . June 04, 2008, at 04:15 PM by Ulf Norell:
- ReferenceManual.Emacs Mode Key Combinations . . . June 04, 2008, at 03:20 PM by NAD: There is no longer any special support for undo.
- ReferenceManual.Local Def . . . June 04, 2008, at 01:39 PM by Ana Bove:
- Main.The 8th Agda Implementors' Meeting . . . June 04, 2008, at 01:29 PM by Bengt:
- ReferenceManual.How to See Unicode in Emacs . . . June 04, 2008, at 10:34 AM by Bengt:
- ReferenceManual.How to See Unicode in Emacs . . . June 04, 2008, at 10:25 AM by Bengt:
- ReferenceManual.Bibliography . . . June 04, 2008, at 10:18 AM by Pierre:
- ReferenceManual.Datatypes . . . June 03, 2008, at 03:55 PM by ?:
- ReferenceManual.Overview . . . June 03, 2008, at 10:09 AM by Pierre:
- Main.Working Page for Records . . . June 03, 2008, at 09:55 AM by ?:
- Docs.TOC . . . June 02, 2008, at 04:35 PM by Pierre:
- Referencialmanual.Records . . . June 02, 2008, at 04:01 PM by ?:
- Referencialmnhalndnahocumentation.Records . . . June 02, 2008, at 03:57 PM by ?:
- Referencemanual.Referencemanual . . . June 02, 2008, at 03:43 PM by ?:
- Main.Mailing List . . . May 20, 2008, at 07:39 PM by NAD: Noted that Gmane carries the Agda list.
- Docs.Literate Agda . . . May 16, 2008, at 11:00 AM by NAD:
- Docs.Records . . . May 12, 2008, at 04:49 PM by Ana Bove:
- Docs.How to See Unicode . . . May 07, 2008, at 07:00 PM by Samuel Bronson: Whiine about low upload bandwidth
- Main.AIM 9 . . . May 07, 2008, at 10:16 AM by Patrik Jansson:
- Category.Group Footer . . . May 06, 2008, at 12:19 AM by Samuel Bronson: following instructions in [[PmWiki/Categories]]
- Patch.How To . . . May 06, 2008, at 12:18 AM by Samuel Bronson: huh, that wasn't the right category syntax...
- Category.Howto . . . May 06, 2008, at 12:15 AM by Samuel Bronson:
- Patterns.Partial Function . . . April 16, 2008, at 02:58 PM by ?:
- Main.How to See Unicode . . . April 16, 2008, at 02:00 PM by ?:
- Main.How to ... . . . April 16, 2008, at 02:00 PM by ?:
- Main.How to See Unicode . . . April 16, 2008, at 01:58 PM by ?:
- Main.How to Install Unicode . . . April 16, 2008, at 01:29 PM by ?:
- Main.How to Send a Patch to Agda . . . April 16, 2008, at 01:26 PM by ?:
- Docs.Patterns . . . March 24, 2008, at 06:29 PM by Tristan Wibberley:
- Docs.Alonzo . . . March 20, 2008, at 12:30 PM by Ulf Norell:
- Main.Makoto Test . . . March 07, 2008, at 01:46 PM by ?:
- Main.Agda Papers . . . February 06, 2008, at 09:50 AM by Patrik Jansson:
- Docs.Pattern Matching . . . November 26, 2007, at 02:22 PM by ?:
- Main.Version Policy . . . November 12, 2007, at 12:13 PM by Ulf Norell: distinction between even and odd patch levels
- Bugs.Report a bug . . . October 24, 2007, at 01:19 PM by Ulf Norell:
- Bugs.Old Bugs . . . October 24, 2007, at 01:17 PM by Ulf Norell:
- Docs.Datatype and Function Definitions . . . October 19, 2007, at 12:01 PM by Andreas Abel:
- Bugs.20070616-1 . . . October 18, 2007, at 03:21 PM by Ulf Norell: fixed
- Bugs.20070822-1 . . . October 18, 2007, at 03:18 PM by Ulf Norell: fixed
- Site.Auth Form . . . October 17, 2007, at 04:04 PM by Ulf Norell: added password
- Main.Types Summer School 2007 . . . October 17, 2007, at 03:46 PM by Ulf Norell: removed spam
- Bugs.20070702-1 . . . October 16, 2007, at 05:37 PM by Ulf Norell: fixed
- Bugs.20070821-1 . . . October 16, 2007, at 04:54 PM by Ulf Norell: fixed
- Bugs.20071012-1 . . . October 16, 2007, at 04:52 PM by Ulf Norell: fixed
- Bugs.20071012-2 . . . October 16, 2007, at 04:01 PM by Ulf Norell: fixed
- Bugs.20070628-1 . . . October 16, 2007, at 02:34 PM by Ulf Norell: removed spam
- Main.AIM 6 Ending Discussion . . . October 16, 2007, at 02:34 PM by Ulf Norell: removed spam
- Main.The 6th Agda Implementors' Meeting . . . October 16, 2007, at 02:33 PM by Ulf Norell: removed spam
- Bugs.20070606-3 . . . October 16, 2007, at 02:33 PM by Ulf Norell: removed spam
- Bugs.20070613-1 . . . October 16, 2007, at 02:32 PM by Ulf Norell: removed spam
- Site.All Recent Changes . . . October 16, 2007, at 02:31 PM by Ulf Norell:
- Bugs.20070613-2 . . . October 16, 2007, at 02:30 PM by Ulf Norell: removed spam
- Docs.Magic With . . . October 16, 2007, at 11:43 AM by Ulf Norell: removed spam
- Bugs.20070619-1 . . . October 16, 2007, at 11:38 AM by Ulf Norell: removed spam
- Bugs.20070618-1 . . . October 16, 2007, at 11:37 AM by Ulf Norell: removed spam
- Main.Module System More Flexible . . . October 05, 2007, at 05:08 PM by NAD: Described feature request.
- Main.Implicit Syntax . . . October 03, 2007, at 04:52 PM by Ulf Norell: fixed garbled greek letters
- Bugs.20070614-1 . . . October 02, 2007, at 01:50 PM by Ulf Norell: fixed
- Bugs.20070627-2 . . . October 01, 2007, at 06:22 PM by Ulf Norell: fixed
- Main.Agda Language Review . . . September 25, 2007, at 02:55 PM by Ulf Norell:
- Bugs.Report . . . September 20, 2007, at 02:46 PM by ?:
- Main.K-rule . . . September 20, 2007, at 11:48 AM by Ulf Norell: added link to complete stack example
- Main.AgdaLanguageReview . . . September 20, 2007, at 12:56 AM by NAD: Described the basic issues about abstraction.
- Main.VisibilityAndEvaluation . . . September 20, 2007, at 12:56 AM by NAD: Described the basic issues about abstraction.
- Main.ImplicitSyntax . . . September 19, 2007, at 06:36 PM by NAD: Sym is, perhaps, more illustrative than Refl.
- Main.Discussion . . . September 11, 2007, at 12:14 PM by NAD: Moved Wouter's wishes to the discussion page.
- Bugs.20070903-2 . . . September 03, 2007, at 03:56 PM by ?:
- Bugs.20070903-1 . . . September 03, 2007, at 03:02 PM by ?:
- Bugs.20070822-1 . . . August 22, 2007, at 04:21 PM by ?:
- Bugs.20070821-1 . . . August 21, 2007, at 05:59 PM by ?:
- Main.MoreDeclarationsShouldBeAllowedInMutualBlocks . . . August 20, 2007, at 01:24 PM by NAD: Described feature request.
- Bugs.20070626-1 . . . August 18, 2007, at 01:23 PM by Ulf Norell:
- Bugs.20070628-1 . . . August 18, 2007, at 01:20 PM by Ulf Norell:
- Bugs.20070808-1 . . . August 18, 2007, at 01:17 PM by Ulf Norell:
- Docs.DatatypeAndFunctionDefinitions . . . August 18, 2007, at 01:02 PM by Ulf Norell:
- Docs.MagicWith . . . August 18, 2007, at 01:01 PM by Ulf Norell:
- Docs.Records . . . August 18, 2007, at 12:58 PM by Ulf Norell:
- Docs.ModuleSystem . . . August 18, 2007, at 12:54 PM by Ulf Norell:
- Docs.FunctionSyntax . . . August 18, 2007, at 11:50 AM by Ulf Norell:
- Docs.ImplicitArguments . . . August 18, 2007, at 11:46 AM by Ulf Norell:
- Docs.Names . . . August 18, 2007, at 11:37 AM by Ulf Norell:
- Main.Version-2-1-2 . . . August 16, 2007, at 04:56 PM by NAD: Release notes.
- Bugs.20070815-1 . . . August 15, 2007, at 03:14 PM by Ulf Norell: fixed
- Bugs.20070723-1 . . . July 30, 2007, at 01:24 PM by Ulf Norell: fixed
- Main.Version-2-1-0 . . . July 14, 2007, at 01:21 AM by Ulf Norell:
- Bugs.20070711-1 . . . July 12, 2007, at 12:27 AM by NAD: Explained problem.
- Bugs.20070702-1 . . . July 02, 2007, at 03:00 PM by NAD: Described bug.
- Bugs.20070701-1 . . . July 01, 2007, at 12:40 PM by NAD: Described bug.
- Bugs.20070627-2 . . . June 27, 2007, at 04:56 PM by NAD: Added more information.
- Bugs.20070627-1 . . . June 27, 2007, at 11:53 AM by NAD: Added more information.
- Bugs.20070725-1 . . . June 25, 2007, at 09:59 PM by Ulf Norell:
- Bugs.20070619-1 . . . June 21, 2007, at 10:50 AM by Ulf Norell:
- Bugs.20070619-2 . . . June 21, 2007, at 10:07 AM by Ulf Norell:
- Bugs.20070618-1 . . . June 18, 2007, at 05:28 PM by NAD: Described bug.
- Bugs.20070616-1 . . . June 16, 2007, at 01:20 PM by NAD: Described bug.
- Bugs.20070614-2 . . . June 14, 2007, at 06:35 PM by Ulf Norell: fixed
- Bugs.20070606-3 . . . June 14, 2007, at 06:02 PM by Ulf Norell: fixed
- Bugs.20070614-1 . . . June 14, 2007, at 04:37 PM by Ulf Norell:
- Bugs.20070614-3 . . . June 14, 2007, at 03:35 PM by NAD: Described bug.
- Bugs.20070613-2 . . . June 13, 2007, at 06:13 PM by NAD: Described bug.
- Bugs.20070613-1 . . . June 13, 2007, at 05:02 PM by NAD: Described bug.
- Bugs.20070606-2 . . . June 11, 2007, at 10:46 AM by NAD: Described bug fix.
- Bugs.20070607-0 . . . June 07, 2007, at 04:18 PM by Alexandre:
- Docs.PatternMatching . . . June 07, 2007, at 03:33 PM by ?:
- Bugs.20070606-4 . . . June 07, 2007, at 01:28 PM by Andreas Abel:
- Bugs.20070606-1 . . . June 06, 2007, at 07:53 PM by Ulf Norell:
- Main.PrintReconstructedTerms . . . June 06, 2007, at 06:54 PM by Ulf Norell:
- Bugs.20070604-1 . . . June 06, 2007, at 02:23 PM by Andreas Abel:
- Bugs.20070601-3 . . . June 06, 2007, at 12:12 PM by Ulf Norell:
- Main.Injectivity . . . June 04, 2007, at 05:13 PM by Ulf Norell:
- Main.Version-2-0-0 . . . June 04, 2007, at 04:31 PM by Ulf Norell:
- Main.VersionPolicy . . . June 04, 2007, at 04:30 PM by Ulf Norell:
- Bugs.20070530-4 . . . June 04, 2007, at 03:48 PM by Ulf Norell:
- Bugs.20070530-5 . . . June 04, 2007, at 02:56 PM by NAD:
- Bugs.20070603-1 . . . June 04, 2007, at 11:44 AM by Ulf Norell:
- Bugs.20070530-2 . . . June 04, 2007, at 11:43 AM by Ulf Norell:
- Bugs.20070601-2 . . . June 02, 2007, at 05:53 PM by NAD: Described bug fix.
- Bugs.20070601-1 . . . June 01, 2007, at 02:59 AM by NAD: Bug description.
- Bugs.20070530-7 . . . May 30, 2007, at 06:47 PM by Ulf:
- Main.AIM6EndingDiscussion . . . May 30, 2007, at 06:28 PM by Patrik Jansson:
- Main.AIM6 . . . May 30, 2007, at 06:17 PM by Patrik Jansson:
- Bugs.20070530-1 . . . May 30, 2007, at 03:17 PM by Ulf:
- Patch.HowTo . . . May 30, 2007, at 02:38 PM by Alexandre: Small howto on how to use darcs to send patches
- Bugs.20070530-3 . . . May 30, 2007, at 12:34 PM by Ulf:
- Bugs.20070530-0 . . . May 30, 2007, at 11:10 AM by deleted:
- Bugs.20070529-0 . . . May 29, 2007, at 04:06 PM by Alexandre: Final comment on segfaulting bug
- Bugs.20070528-0 . . . May 28, 2007, at 06:34 PM by Alexandre: BR 20070528-0
- Bugs.20070527-0 . . . May 27, 2007, at 12:16 PM by ?:
- Main.Home . . . May 26, 2007, at 11:20 PM by ?:
- Main.PmWiki . . . May 26, 2007, at 11:17 PM by ?:
Page last modified on October 02, 2024, at 10:45 am
Powered by
PmWiki