AllRecentChanges

Main.AIMXLI . . . September 17, 2025, at 01:16 pm by ?:
Main.AgdaMeetings . . . September 12, 2025, at 02:45 pm by Jesper: clean
Main.PapersUsingAgda . . . September 12, 2025, at 01:03 pm by ?:
Main.Download . . . September 10, 2025, at 09:44 am by Jesper:
Main.HomePage . . . September 10, 2025, at 09:39 am by Jesper: Update latest release on home page
Main.AIMOrganizerGuide . . . September 05, 2025, at 08:53 am by Jesper:
Libraries.StandardLibrary . . . August 02, 2025, at 05:50 am by ?:
Site.SideBar . . . July 26, 2025, at 09:33 pm by ?:
Main.AIMXL . . . June 02, 2025, at 03:52 pm by Ambrus Kaposi: logo
Main.AIMXXXIX . . . May 25, 2025, at 05:40 pm by Mietek Bak: Corrected self
Main.AIMXXXX . . . April 24, 2025, at 03:33 pm by Szumi Xie: Redirect to AIMXL
Main.History . . . January 14, 2025, at 08:14 am by ?:
Main.AIMXXXVIII . . . May 19, 2024, at 07:37 am by Jonathan Coates:
Main.AIMXXXVII . . . November 24, 2023, at 10:13 am by L-T Chen:
Main.Windows . . . October 13, 2023, at 04:48 pm by Andreas Abel: Delete NotOneClick Windows Installer, pointing to agda.google (broken)
Windows.Notes . . . October 13, 2023, at 04:46 pm by Andreas Abel:
Main.AIMXXXVI . . . May 17, 2023, at 10:29 am by ?:
Main.AIM . . . January 20, 2023, at 06:34 pm by ?:
Main.AIMXXXI . . . November 18, 2022, at 08:31 am by Orestis Melkonian: Add Google Drive links to slides.
Main.Hackingpreparation . . . November 09, 2022, at 10:21 pm by anuyts:
Main.Howto . . . November 04, 2022, at 10:00 am by ?:
Main.Documentation . . . November 04, 2022, at 09:58 am by ?:
Main.Courses . . . November 04, 2022, at 09:55 am by ?:
Main.GettingStarted . . . November 04, 2022, at 09:49 am by ?:
Main.Libraries . . . November 03, 2022, at 12:49 pm by ?:
Main.Othertutorials . . . November 03, 2022, at 12:44 pm by ?:
Main.AIMXXXV . . . May 10, 2022, at 07:48 pm 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 ?:

Edit | History | Recent Changes (all) | Search

Page last modified on September 17, 2025, at 01:16 pm