2009 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Tue Jan 6 20:11:46 CEST 2009
Ending: Sun Dec 27 14:38:01 CEST 2009
Messages: 742

• [Agda] TLCA'09 -- DEADLINE EXTENSION   Luca Paolini
• [Agda] Extensional equality, or how to avoid needing it?   Shin-Cheng Mu
• [Agda] Extensional equality, or how to avoid needing it?   Nils Anders Danielsson
• [Agda] MULTICONF-09 call for papers   Justin Williams
• [Agda] Simple Agda Libraries   Wouter Swierstra
• [Agda] Simple Agda Libraries   James McKinna
• [Agda] Simple Agda Libraries   Marcin Benke
• [Agda] The Agda wiki has disappeared   Nils Anders Danielsson
• [Agda] Simple Agda Libraries   Lennart Augustsson
• [Agda] Simple Agda Libraries   Nils Anders Danielsson
• [Agda] Simple Agda Libraries   Nils Anders Danielsson
• [Agda] Simple Agda Libraries   Nils Anders Danielsson
• [Agda] Simple Agda Libraries   Lennart Augustsson
• [Agda] The Agda wiki has disappeared   Ulf Norell
• [Agda] Simple Agda Libraries   Wouter Swierstra
• [Agda] The Agda wiki has disappeared   Ulf Norell
• [Agda] The wiki has moved   Ulf Norell
• [Agda] Tentative guidelines for working with coinductive types   Nils Anders Danielsson
• [Agda] Simple Agda Libraries   Shin-Cheng Mu
• [Agda] Tentative guidelines for working with coinductive types   Noam Zeilberger
• [Agda] Tentative guidelines for working with coinductive types   Dan Doel
• [Agda] Tentative guidelines for working with coinductive types   Noam Zeilberger
• [Agda] Simple Agda Libraries   Nils Anders Danielsson
• [Agda] Simple Agda Libraries   Nils Anders Danielsson
• [Agda] Tentative guidelines for working with coinductive types   Dan Doel
• [Agda] Tentative guidelines for working with coinductive types   Nils Anders Danielsson
• [Agda] Tentative guidelines for working with coinductive types   Nils Anders Danielsson
• [Agda] Tentative guidelines for working with coinductive types   Noam Zeilberger
• [Agda] Tentative guidelines for working with coinductive types   Nils Anders Danielsson
• [Agda] Tentative guidelines for working with coinductive types   Nils Anders Danielsson
• [Agda] Tentative guidelines for working with coinductive types   Noam Zeilberger
• [Agda] Simple Agda Libraries   Andres Loeh
• [Agda] Simple Agda Libraries   Lennart Augustsson
• [Agda] Tentative guidelines for working with coinductive types   Nils Anders Danielsson
• [Agda] Simple Agda Libraries   Nils Anders Danielsson
• [Agda] Tentative guidelines for working with coinductive types   Anton Setzer
• [Agda] Tentative guidelines for working with coinductive types   Nils Anders Danielsson
• [Agda] Tentative guidelines for working with coinductive types   Ulf Norell
• [Agda] Tentative guidelines for working with coinductive types   Nils Anders Danielsson
• [Agda] Tentative guidelines for working with coinductive types   Anton Setzer
• [Agda] Tentative guidelines for working with coinductive types   Nils Anders Danielsson
• [Agda] Using the latest versions   Eelco Lempsink
• [Agda] Using the latest versions   Eelco Lempsink
• [Agda] (CfP) WGP'09: Workshop on Generic Programming Call for Papers   Patrik Jansson
• [Agda] Agda takes a long time to type check.   Vilius Naudziunas
• [Agda] source install problems....   Евгений Пермяков
• [Agda] source install problems....   Nils Anders Danielsson
• [Agda] Agda takes a long time to type check.   Nils Anders Danielsson
• [Agda] Agda takes a long time to type check.   Anton Setzer
• [Agda] Agda takes a long time to type check.   Nils Anders Danielsson
• [Agda] mutual strangeness   Thorsten Altenkirch
• [Agda] mutual strangeness   Dan Licata
• [Agda] mutual strangeness   Nils Anders Danielsson
• [Agda] mutual strangeness   Gyesik Lee
• [Agda] mutual strangeness   Thorsten Altenkirch
• [Agda] mutual strangeness   Nils Anders Danielsson
• [Agda] mutual strangeness   Nils Anders Danielsson
• [Agda] mutual strangeness   Gyesik Lee
• [Agda] mutual strangeness   Thorsten Altenkirch
• [Agda] mutual strangeness   James M Chapman
• [Agda] mutual strangeness   Nils Anders Danielsson
• [Agda] mutual strangeness   Lennart Augustsson
• [Agda] mutual strangeness   James Chapman
• [Agda] mutual strangeness   Nils Anders Danielsson
• [Agda] Paper submission deadline extended: MULTICONF-09   Walter Jackson
• [Agda] First call for papers: Module and Libraries for Proof Assistants   Florian Rabe
• [Agda] internal error with sized types   Samuel Gélineau
• [Fwd: Re: [Agda] Tentative guidelines for working with coinductive types]   Andreas Abel
• [Fwd: Re: [Agda] Tentative guidelines for working with coinductive types]   Andreas Abel
• [Agda] internal error with sized types   Andreas Abel
• [Agda] internal error with sized types   Samuel Gélineau
• [Agda] internal error with sized types   Nils Anders Danielsson
• [Agda] internal error with sized types   Andreas Abel
• [Agda] internal error with sized types   Samuel Gélineau
• [Agda] internal error with sized types   Andreas Abel
• [Agda] internal error with sized types   Nils Anders Danielsson
• [Agda] internal error with sized types   Samuel Gélineau
• [Agda] Good old times... (install trouble)   Pierre Hyvernat
• [Agda] Good old times... (install trouble)   Darin Morrison
• [Agda] Re: Good old times... (install trouble)   Stefan Monnier
• [Agda] Re: Good old times... (install trouble)   Darin Morrison
• [Agda] Good old times... (install trouble)   Nils Anders Danielsson
• [Agda] Re: Good old times... (install trouble)   Nils Anders Danielsson
• [Agda] install trouble   Pierre Hyvernat
• [Agda] Good old times   Pierre Hyvernat
• [Agda] install trouble   Nils Anders Danielsson
• [Agda] Good old times   Nils Anders Danielsson
• [Agda] install trouble   Pierre Hyvernat
• [Agda] install trouble   Nils Anders Danielsson
• [Agda] install trouble   Aarne Ranta
• [Agda] Bugs   Pierre Hyvernat
• [Agda] Bugs   Nils Anders Danielsson
• [Agda] problem with refine   Dan Licata
• [Agda] reporting bugs?   Pierre Hyvernat
• [Agda] reporting bugs?   Patrik Jansson
• [Agda] reporting bugs?   Nils Anders Danielsson
• [Agda] problem with refine   Nils Anders Danielsson
• [Agda] Good old times... (install trouble)   Anton Setzer
• [Agda] install trouble   Anton Setzer
• [Agda] Last call for papers: MULTICONF-09 (deadline will not be extended further)   Justin Williams
• [Agda] install trouble   Nils Anders Danielsson
• [Agda] install trouble   Nils Anders Danielsson
• [Agda] install trouble   Wouter Swierstra
• [Agda] install trouble   Nils Anders Danielsson
• [Agda] Changing import lists turns constructors into variables   Nils Anders Danielsson
• [Agda] Changing import lists turns constructors into variables   Edward Kmett
• [Agda] Changing import lists turns constructors into variables   Nils Anders Danielsson
• [Agda] Changing import lists turns constructors into variables   Remi Turk
• [Agda] install trouble   Wouter Swierstra
• [Agda] Changing import lists turns constructors into variables   Nils Anders Danielsson
• [Agda] dimly recalled strings?   Conor McBride
• [Agda] dimly recalled strings?   Dan Licata
• [Agda] dimly recalled strings?   Conor McBride
• [Agda] Changing import lists turns constructors into variables   Nils Anders Danielsson
• [Agda] Memory leak under GHC 6.10.1 fixed   Nils Anders Danielsson
• [Agda] dimly recalled strings?   Nils Anders Danielsson
• [Agda] update dependency information on haskeline   Adam Vogt
• [Agda] update dependency information on haskeline   Nils Anders Danielsson
• [Agda] Positive numbers   J.Burton at brighton.ac.uk
• [Agda] Positive numbers   Nils Anders Danielsson
• [Agda] Positive numbers   Jim Burton
• [Agda] Positive numbers   Gyesik Lee
• [Agda] Positive numbers   Jim Burton
• [Agda] Positive numbers   Gyesik Lee
• [Agda] Positive numbers   Ulf Norell
• [Agda] Positive numbers   J.Burton at brighton.ac.uk
• [Agda] Changing import lists turns constructors into variables   Ulf Norell
• [Agda] Positive numbers   Nils Anders Danielsson
• [Agda] Positive numbers   Nils Anders Danielsson
• [Agda] CfP: 22nd International Workshop on Description Logics (DL 2009)   Bernardo Cuenca Grau
• [Agda] Fully-funded doctoral studentships in dependently type programming at Oxford and Strathclyde   Jeremy Gibbons
• [Agda] Draft paper submission is extended (will not be extended further): MULTICONF-09   edwardmellon1
• [Agda] carbon emacs   Ruben Henner Zilibowitz
• [Agda] carbon emacs   Dan Licata
• [Agda] carbon emacs   Ruben Henner Zilibowitz
• [Agda] carbon emacs   Nils Anders Danielsson
• [Agda] Microsoft PhD Scholarship at Strathclyde   Conor McBride
• [Agda] Agda equalType variation   Remi Turk
• [Agda] Agda equalType variation   Ulf Norell
• [Agda] primes   Ruben Henner Zilibowitz
• [Agda] primes   Lennart Augustsson
• [Agda] primes   Ruben Henner Zilibowitz
• [Agda] primes   Nils Anders Danielsson
• [Agda] Call for papers: Workshop on Termination (WST 2009)   voigt at tcs.inf.tu-dresden.de
• [Agda] PhD positions at Nottingham & Swansea   Thorsten Altenkirch
• [Agda] primes   Ruben Henner Zilibowitz
• [Agda] Second call for papers: Modules and Libraries for Proof Assistants   Florian Rabe
• [Agda] Changes to coinduction   Nils Anders Danielsson
• [Agda] Problem with coinduction and positivity checker   Darin Morrison
• [Agda] Problem with coinduction and positivity checker   Andreas Abel
• [Agda] ANNOUNCE: Agda 2.2.0   Nils Anders Danielsson
• [Agda] Agdckage   Nils Anders Danielsson
• [Agda] Agdckage   Darin Morrison
• [Agda] agda on emacs 21.4   Dan Licata
• [Agda] agda on emacs 21.4   Nils Anders Danielsson
• [Agda] WMM'09 call for papers   Christian Urban
• [Agda] Why aren't free vars in types automatically generalized   Stefan Monnier
• [Agda] Why aren't free vars in types automatically generalized   Darin Morrison
• [Agda] Addition to the Community — Internet Relay Chat (IRC) channel   Liyang HU
• [Agda] Re: Why aren't free vars in types automatically generalized   Stefan Monnier
• [Agda] Why aren't free vars in types automatically generalized   Nils Anders Danielsson
• [Agda] Debian packaging [Was: Addition to the Community]   Nils Anders Danielsson
• [Agda] Re: Why aren't free vars in types automatically generalized   Stefan Monnier
• [Agda] Re: Why aren't free vars in types automatically generalized   Lennart Augustsson
• [Agda] Re: Why aren't free vars in types automatically generalized   Nils Anders Danielsson
• [Agda] Re: Why aren't free vars in types automatically generalized   Carsten SchŸuermann
• [Agda] Re: Why aren't free vars in types automatically generalized   Nils Anders Danielsson
• [Agda] Re: Why aren't free vars in types automatically generalized   Darin Morrison
• [Agda] Re: Why aren't free vars in types automatically generalized   Stefan Monnier
• [Agda] Why aren't free vars in types automatically generalized   Robert J. Simmons
• [Agda] Why aren't free vars in types automatically generalized   Nils Anders Danielsson
• [Agda] Re: Why aren't free vars in types automatically generalized   Andreas Abel
• [Agda] Re: Why aren't free vars in types automatically generalized   Nils Anders Danielsson
• [Agda] First CFP: PCC 2009   David Pichardie
• [Agda] CfP: Fourth Working Conference on Programming Languages (ATPS'09)   Janis Voigtlaender
• [Agda] IICAI-09 Final Call for papers   James Eugene
• [Agda] Emacs interface   Wouter Swierstra
• [Agda] Emacs interface   Darin Morrison
• [Agda] Debian packaging [Was: Addition to the Community]   Iain Lane
• [Agda] Fwd: JFP Special Issue on Generic Programming   Conor McBride
• [Agda] Emacs interface   Nils Anders Danielsson
• [Agda] Emacs interface   Nils Anders Danielsson
• [Agda] Second CfP: 22nd International Workshop on Description Logics (DL 2009)   Bernardo Cuenca Grau
• [Agda] universe with extensional propositional equality?   Dan Licata
• [Agda] universe with extensional propositional equality?   James Chapman
• [Agda] Emacs interface   Andreas Abel
• [Agda] Emacs interface   Wouter Swierstra
• [Agda] universe with extensional propositional equality?   Wouter Swierstra
• [Agda] Simplified installation of the Emacs mode   Nils Anders Danielsson
• [Agda] Emacs interface   Nils Anders Danielsson
• [Agda] universe with extensional propositional equality?   Peter Morris
• [Agda] universe with extensional propositional equality?   Peter Morris
• [Agda] universe with extensional propositional equality?   Peter Morris
• [Agda] Conversion of repositories to darcs 2 format   Nils Anders Danielsson
• [Agda] Examples of tacticts via reflection   Andrej Bauer
• [Agda] Examples of tacticts via reflection   Patrik Jansson
• [Agda] Examples of tacticts via reflection   Nils Anders Danielsson
• [Agda] Examples of tacticts via reflection   Gyesik Lee
• [Agda] Re: examples of tactics via reflection   Dan Licata
• [Agda] Re: examples of tactics via reflection   Nils Anders Danielsson
• [Agda] Re: examples of tactics via reflection   Dan Licata
• [Agda] Re: examples of tactics via reflection   Nils Anders Danielsson
• [Agda] Last call for papers: Modules and Libraries for Proof Assistants (CADE workshop)   Florian Rabe
• [Agda] OS X Installation Instructions Updated   Shin-Cheng Mu
• [Agda] Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009)   Janis Voigtlaender
• [Agda] Re: examples of tactics via reflection   Dan Licata
• [Agda] Re: Conversion of repositories to darcs 2 format   Nils Anders Danielsson
• [Agda] ANNOUNCE: Agda 2.2.2   Nils Anders Danielsson
• [Agda] Extended draft paper submission: MULTICONF-09 call for papers   Dawn Watson
• [Agda] projection?   KINOSHITA Yoshiki
• [Agda] projection?   Tatsuya Abe
• [Agda] projection?   Nils Anders Danielsson
• [Agda] ANNOUNCE: Standard library version 0.1   Nils Anders Danielsson
• [Agda] Extended draft paper submission: MULTICONF-09 call for papers   edwardmellon1
• [Agda] ICTCS '09 call for papers   Luca Paolini
• [Agda] emacs problem   Andreas Buechele
• [Agda] emacs problem   Nils Anders Danielsson
• [Agda] emacs problem   Andreas Buechele
• [Agda] emacs problem   Nils Anders Danielsson
• [Agda] lifting from Set to Set1   Chris Casinghino
• [Agda] lifting from Set to Set1   Nils Anders Danielsson
• [Agda] Agda packaged for Arch Linux   Don Stewart
• [Agda] Agda packaged for Arch Linux   Nils Anders Danielsson
• [Agda] Simple Agda Libraries   Nils Anders Danielsson
• [Agda] TLCA'09 - Call for Participation   Luca Paolini
• [Agda] Help debugging   Stefan Monnier
• [Agda] Help debugging   Nils Anders Danielsson
• [Agda] Re: Help debugging   Stefan Monnier
• [Agda] Re: Help debugging   Nils Anders Danielsson
• [Agda] Re: Help debugging   Ulf Norell
• [Agda] Proof of False   Dan Doel
• [Agda] Proof of False   Andrés Sicard-Ramírez
• [Agda] AIM 10 in Gothenburg 14-18 September   Peter Dybjer
• [Agda] HLDVT 2009 Call for Papers   Shireesh Verma
• [Agda] 2nd Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009)   Janis Voigtlaender
• [Agda] International Summer School on Advances in Programming Languages (precedes ICFP'09)   Janis Voigtlaender
• [Agda] PhD position at LIRMM, Montpellier   Madalina Croitoru
• [Agda] hot computer churns codata   Conor McBride
• [Agda] hot computer churns codata   Andrés Sicard-Ramírez
• [Agda] hot computer churns codata   Conor McBride
• [Agda] hot computer churns codata   Andrés Sicard-Ramírez
• [Agda] hot computer churns codata   Andrés Sicard-Ramírez
• [Agda] hot computer churns codata   Nils Anders Danielsson
• [Agda] hot computer churns codata   Nils Anders Danielsson
• [Agda] hot computer churns codata   Andrés Sicard-Ramírez
• [Agda] 2nd Cfp: PCC09   David Pichardie
• [Agda] Q: Equational Reasoning   ch
• [Agda] Q: Equational Reasoning   Pierre-Evariste Dagand
• [Agda] Q: Equational Reasoning   Liang-Ting Chen
• [Agda] Q: Equational Reasoning   Andrej Bauer
• [Agda] Q: Equational Reasoning   Liang-Ting Chen
• [Agda] Q: Equational Reasoning   Christoph Herrmann
• [Agda] Q: Equational Reasoning   Conor McBride
• [Agda] Q: Equational Reasoning   Christoph Herrmann
• [Agda] Q: Equational Reasoning   Julien Oster
• [Agda] Matching problem at end of equational reasoning proof   Christoph Herrmann
• [Agda] Re: Matching problem at end of equational reasoning proof   Samuel Gélineau
• [Agda] Matching problem at end of equational reasoning proof   Liang-Ting Chen
• [Agda] Matching problem at end of equational reasoning proof   Christoph Herrmann
• [Agda] Q: Equational Reasoning   Andrej Bauer
• [Agda] Q: Equational Reasoning   Nils Anders Danielsson
• [Agda] Q: Equational Reasoning   Peter Hancock
• [Agda] Q: Equational Reasoning   Nils Anders Danielsson
• [Agda] Q: Equational Reasoning   Nils Anders Danielsson
• [Agda] Q: Equational Reasoning   Conor McBride
• [Agda] Proof irrelevance and self-realizing formulas   Andrej Bauer
• [Agda] Proof irrelevance and self-realizing formulas   Thorsten Altenkirch
• [Agda] Proof irrelevance and self-realizing formulas   wren ng thornton
• [Agda] Proof irrelevance and self-realizing formulas   Andrej Bauer
• [Agda] Proof irrelevance and self-realizing formulas   Thorsten Altenkirch
• [Agda] Proof irrelevance and self-realizing formulas   Arnaud Spiwack
• [Agda] Proof irrelevance and self-realizing formulas   Arnaud Spiwack
• [Agda] Proof irrelevance and self-realizing formulas   Andrej Bauer
• [Agda] Proof irrelevance and self-realizing formulas   Peter Hancock
• [Agda] Proof irrelevance and self-realizing formulas   James McKinna
• [Agda] Proof irrelevance and self-realizing formulas   Shin-Cheng Mu
• [Agda] Proof irrelevance and self-realizing formulas   Dan Doel
• [Agda] Proof irrelevance and self-realizing formulas   James Caldwell
• [Agda] Proof irrelevance and self-realizing formulas   Conor McBride
• [Agda] Proof irrelevance and self-realizing formulas   Thorsten Altenkirch
• [Agda] Q: Equational Reasoning   Andreas Abel
• [Agda] Proof irrelevance and self-realizing formulas   Andreas Abel
• [Agda] 6 funded PhD studentships at the Department of Computer Science, Swansea University, UK   Anton Setzer
• [Agda] IEEE ESCS 2009 Workshop Call-for-papers   Gopal, Vinodh
• [Agda] Nested with   Ben Horsfall
• [Agda] Nested with   andy morris
• [Agda] Nested with   Andrés Sicard-Ramírez
• [Agda] Nested with   Thorsten Altenkirch
• [Agda] Nested with   Nils Anders Danielsson
• [Agda] CFV'09: Call for Participation   Miroslav Velev
• [Agda] Re: Nested with   Ben Horsfall
• [Agda] WMM 2009: Last Call for Papers   Christian Urban
• [Agda] PhD position in Nottingham   vxc at Cs.Nott.AC.UK
• [Agda] Updated instructions on how to install Agda   Anton Setzer
• [Agda] Updated instructions on how to install Agda   Nils Anders Danielsson
• [Agda] BLC 2009 meeting   Anton Setzer
• [Agda] HLDVT 2009 Paper Submission Deadline Extended to June 26   Shireesh Verma
• [Agda] PEPM'10 - First Call for Papers   Janis Voigtlaender
• [Agda] emacs problems   Andreas Buechele
• [Agda] emacs problems   Ulf Norell
• [Agda] emacs problems   Martin Escardo
• [Agda] emacs problems   Andreas Buechele
• [Agda] emacs problems   Andreas Buechele
• [Agda] emacs problems   Andreas Buechele
• [Agda] emacs problems   Nils Anders Danielsson
• [Agda] monad in Set   Dan Licata
• [Agda] monad in Set   Nils Anders Danielsson
• [Agda] emacs problems   Nils Anders Danielsson
• [Agda] monad in Set   Darin Morrison
• [Agda] emacs problems   Darin Morrison
• [Agda] RFS: agda   laney at ubuntu.com
• [Agda] emacs problems   Shin-Cheng Mu
• [Agda] emacs problems   Nils Anders Danielsson
• [Agda] emacs problems   Shin-Cheng Mu
• [Agda] emacs problems   Nils Anders Danielsson
• [Agda] A puzzle with "with"   James McKinna
• [Agda] A puzzle with "with"   Josh Ko
• [Agda] Call for Participation: Modules and Libraries for Proof Assistants (CADE workshop)   Florian Rabe
• [Agda] Re: A puzzle with "with"   Stevan Andjelkovic
• [Agda] A puzzle with "with"   Ana Bove
• [Agda] A puzzle with "with"   Ana Bove
• [Agda] A puzzle with "with"   Nils Anders Danielsson
• [Agda] Importing libraries into Malonzo   Anton Setzer
• [Agda] Importing libraries into Malonzo   Ulf Norell
• Smart Case [Re: [Agda] A puzzle with "with"]   Andreas Abel
• [Agda] Re: Smart Case   Nils Anders Danielsson
• Smart Case [Re: [Agda] A puzzle with "with"]   Thorsten Altenkirch
• Smart Case [Re: [Agda] A puzzle with "with"]   Andreas Abel
• Smart Case [Re: [Agda] A puzzle with "with"]   Ulf Norell
• Smart Case [Re: [Agda] A puzzle with "with"]   Thorsten Altenkirch
• Smart Case [Re: [Agda] A puzzle with "with"]   Andreas Abel
• Smart Case [Re: [Agda] A puzzle with "with"]   Nils Anders Danielsson
• Smart Case [Re: [Agda] A puzzle with "with"]   Thorsten Altenkirch
• [Agda] DL 2009: Final Call for Participation   Boris Motik
• [Agda] ANNOUNCE: Agda 2.2.4   Nils Anders Danielsson
• [Agda] ANNOUNCE: Standard library version 0.2   Nils Anders Danielsson
• [Agda] Some observations about μν   Nils Anders Danielsson
• [Agda] Some observations about μν   Peter Hancock
• [Agda] Congruence and substitutivity rules in heterogeneous equality   Liang-Ting Chen
• [Agda] Congruence and substitutivity rules in heterogeneous equality   Nils Anders Danielsson
• [Agda] Congruence and substitutivity rules in heterogeneous equality   Liang-Ting Chen
• [Agda] Panic: CanSplit   Wouter Swierstra
• [Agda] Panic: CanSplit   Ulf Norell
• [Agda] PEPM'10 - Call for Papers (Deadline: 6 Oct 09) - Invited Speakers announced   Janis Voigtlaender
• [Agda] Panic: CanSplit   Wouter Swierstra
• [Agda] Panic: CanSplit   Andreas Abel
• [Agda] Panic: CanSplit   jp.beaumont at student.qut.edu.au
• [Agda] Panic: CanSplit   Andreas Abel
• [Agda] Congruence and substitutivity rules in heterogeneous equality   Nils Anders Danielsson
• [Agda] constructor/definition taxonomy in compiler internals/syntax highlighting   Noam Zeilberger
• [Agda] constructor/definition taxonomy in compiler internals/syntax highlighting   Nils Anders Danielsson
• [Agda] constructor/definition taxonomy in compiler internals/syntax highlighting   Noam Zeilberger
• [Agda] Re: constructor/definition taxonomy in compiler internals/syntax highlighting   Noam Zeilberger
• [Agda] Re: constructor/definition taxonomy in compiler internals/syntax highlighting   Nils Anders Danielsson
• [Agda] Background reading?   Yakov Zaytsev
• [Agda] Background reading?   Nils Anders Danielsson
• [Agda] How to read constraints?   Robin Green
• [Agda] How to read constraints?   Ulf Norell
• [Agda] Re: [Coq-Club] Need help with coinductive proof   Thorsten Altenkirch
• [Agda] Re: [Coq-Club] Need help with coinductive proof   Thorsten Altenkirch
• [Agda] Re: Need help with coinductive proof   Nils Anders Danielsson
• [Agda] Re: [Coq-Club] Need help with coinductive proof   Edsko de Vries
• [Agda] Re: [Coq-Club] Need help with coinductive proof   Thorsten Altenkirch
• [Agda] Re: [Coq-Club] Need help with coinductive proof   Edsko de Vries
• [Agda] Re: [Coq-Club] Need help with coinductive proof   Edsko de Vries
• [Agda] Re: [Coq-Club] Need help with coinductive proof   Edsko de Vries
• [Agda] Re: [Coq-Club] Need help with coinductive proof   Thorsten Altenkirch
• [Agda] Re: [Coq-Club] Need help with coinductive proof   Thorsten Altenkirch
• [Agda] Re: [Coq-Club] Need help with coinductive proof   Edsko de Vries
• [Agda] Re: [Coq-Club] Need help with coinductive proof   Edsko de Vries
• [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof)   Edsko de Vries
• [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof)   Nils Anders Danielsson
• [Agda] User-test - starting problems with Agda2   Steffen Bock
• [Agda] User-test - starting problems with Agda2   Nils Anders Danielsson
• [Agda] pattern matching syntax in records   Chris Casinghino
• [Agda] pattern matching syntax in records   Nils Anders Danielsson
• [Agda] pattern matching syntax in records   Chris Casinghino
• [Agda] AIM 10   Peter Dybjer
• [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof)   Edsko de Vries
• [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof)   Edsko de Vries
• [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof)   Thorsten Altenkirch
• [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof)   Edsko de Vries
• [Agda] Re: Adding (inductive) transitivity to weak bisimilarity not sound?   Nils Anders Danielsson
• [Agda] Re: Adding (inductive) transitivity to weak bisimilarity not sound?   Edsko de Vries
• [Agda] Algebra.Morphism question   Chris Casinghino
• [Agda] Algebra.Morphism question   Nils Anders Danielsson
• [Agda] pattern matching syntax in records   Ulf Norell
• [Agda] Re: Adding (inductive) transitivity to weak bisimilarity not sound?   Nils Anders Danielsson
• [Agda] Failure when importing stdlib file   Chantal KELLER
• [Agda] Failure when importing stdlib file   Anton Setzer
• [Agda] Error in stdlib Relation/Binary/Core.agda   Chantal KELLER
• [Agda] Failure when importing stdlib file   Chantal KELLER
• [Agda] Failure when importing stdlib file   Nils Anders Danielsson
• [Agda] Error in stdlib Relation/Binary/Core.agda   Nils Anders Danielsson
• [Agda] Failure when importing stdlib file   Chantal KELLER
• [Agda] Error in stdlib Relation/Binary/Core.agda   Chantal KELLER
• [Agda] Failure when importing stdlib file   Nils Anders Danielsson
• [Agda] Failure when importing stdlib file   Iain Lane
• [Agda] Re: AIM 10   Yakov Zaytsev
• [Agda] Simple DepType Pattern Matching   Yuya Uezato
• [Agda] Simple DepType Pattern Matching   Wouter Swierstra
• Excursion [Re: [Agda] AIM 10]   Andreas Abel
• [Agda] Re: Simple DepType Pattern Matching   Yuya Uezato
• [Agda] Re: Simple DepType Pattern Matching   Ulf Norell
• [Agda] PEPM'10 - CFP (Submission: 6 Oct 09, Notification: 29 Oct 09)   John Gallagher
• [Agda] permanently changing the Agda font   Wolfgang Jeltsch
• [Agda] permanently changing the Agda font   J.Burton at brighton.ac.uk
• [Agda] permanently changing the Agda font   Wolfgang Jeltsch
• [Agda] permanently changing the Agda font   J.Burton at brighton.ac.uk
• [Agda] permanently changing the Agda font   Nils Anders Danielsson
• [Agda] permanently changing the Agda font   Nils Anders Danielsson
• [Agda] permanently changing the Agda font   Wolfgang Jeltsch
• [Agda] SITIS'09: Last Call For Papers (4 days left)   CHBEIR Richard
• [Agda] Beginner's Troubles With Documentation   Vag Vagoff
• [Agda] Beginner's Troubles With Documentation   Nils Anders Danielsson
• [Agda] Beginner's Troubles With Documentation   Robin Green
• [Agda] Examples of tacticts via reflection   Wouter Swierstra
• [Agda] Examples of tacticts via reflection   Liang-Ting Chen
• [Agda] Where is paper Short description of ALF   Yakov Zaytsev
• [Agda] Where is paper Short description of ALF   Bengt Nordstrom
• [Agda] Where is paper Short description of ALF   Roly Perera
• [Agda] Documentation on "with" patterns   Roly Perera
• [Agda] Interactive programs in Agda   Anton Setzer
• [Agda] Interactive programs in Agda   Peter Hancock
• [Agda] Interactive programs in Agda   Anton Setzer
• [Agda] Documentation on "with" patterns   Nils Anders Danielsson
• [Agda] PLPV 2010   Conor McBride
• [Agda] Documentation on "with" patterns   Liang-Ting Chen
• [Agda] Documentation on "with" patterns   Roly Perera
• [Agda] AIM 10 notes   Patrik Jansson
• [Agda] An internal error has occurred. Please report this as a bug., Location of the error: src/full\Agda\Syntax\Abstract\Name.hs:82   Vag Vagoff
• [Agda] AIM 10 notes   Robin Green
• [Agda] AIM 10 notes   Dan Doel
• [Agda] AIM 10 notes   Ulf Norell
• [Agda] AIM 10 notes   Ulf Norell
• [Agda] AIM 10 notes   Conor McBride
• [Agda] AIM 10 notes   Ulf Norell
• [Agda] AIM 10 notes   Benja Fallenstein
• [Agda] AIM 10 notes   Conor McBride
• [Agda] Identifying experimental Agda features for Cabal support   Darin Morrison
• [Agda] Wish List   Vag Vagoff
• [Agda] 2nd CFP: TLDI 2010   Andrew Kennedy
• [Agda] Bug in Win32 distribution (bin/agda.cmd)   Vag Vagoff
• [Agda] Wish List   Ulf Norell
• [Agda] Wish List   Vag Vagoff
• [Agda] Wish List   Ulf Norell
• [Agda] AIM 10 notes   Benja Fallenstein
• [Agda] Wish List   Vag Vagoff
• [Agda] An internal error has occurred. Please report this as a bug., Location of the error: src/full\Agda\Syntax\Abstract\Name.hs:82   Nils Anders Danielsson
• [Agda] Wish List   Nils Anders Danielsson
• [Agda] Closures   Vag Vagoff
• [Agda] Wish List   Nils Anders Danielsson
• [Agda] Identifying experimental Agda features for Cabal support   Patrik Jansson
• [Agda] Closures   Nils Anders Danielsson
• [Agda] Closures   Vag Vagoff
• [Agda] Identifying experimental Agda features for Cabal support   Nils Anders Danielsson
• [Agda] Identifying experimental Agda features for Cabal support   Darin Morrison
• [Agda] Verification and Debug at HLDVT   Shireesh Verma
• [Agda] Identifying experimental Agda features for Cabal support   Nils Anders Danielsson
• [Agda] proofs and case-split   Andreas Buechele
• [Agda] Identifying experimental Agda features for Cabal support   Darin Morrison
• [Agda] proofs and case-split   Nils Anders Danielsson
• Universe polymorphism [Re: [Agda] AIM 10 notes]   Andreas Abel
• Universe polymorphism [Re: [Agda] AIM 10 notes]   Conor McBride
• [Agda] Dealing with HOAS   Vag Vagoff
• [Agda] Dealing with HOAS   Nils Anders Danielsson
• [Agda] Dealing with HOAS   Carsten Schuermann
• [Agda] Dealing with HOAS   Jean-Philippe Bernardy
• [Agda] RE: Z in constructive type theory   Thomas ANBERREE
• [Agda] List archives   Robin Green
• [Agda] List archives   Ulf Norell
• [Agda] List archives   Nils Anders Danielsson
• [Agda] List archives   Ulf Norell
• [Agda] List archives   Nils Anders Danielsson
• [Agda] List archives   Vag Vagoff
• [Agda] Re: Dealing with HOAS   Stefan Monnier
• [Agda] Universe polymorphism   Ulf Norell
• [Agda] Universe polymorphism   Benja Fallenstein
• [Agda] Universe polymorphism   Ulf Norell
• [Agda] Universe polymorphism   Benja Fallenstein
• [Agda] Universe polymorphism   Nils Anders Danielsson
• [Agda] Universe polymorphism   Ulf Norell
• [Agda] Dealing with HOAS   Darin Morrison
• [Agda] Universe polymorphism   Nils Anders Danielsson
• [Agda] Dealing with HOAS   Nils Anders Danielsson
• [Agda] Dealing with HOAS   Darin Morrison
• [Agda] Setω and abstraction   Nils Anders Danielsson
• [Agda] Universe polymorphism   Peter Hancock
• [Agda] Universe polymorphism   Darin Morrison
• [Agda] Dealing with HOAS   Vag Vagoff
• [Agda] Performance issues and code structure.   Dan Doel
• [Agda] Performance issues and code structure.   Nils Anders Danielsson
• [Agda] Implicit vs. explicit function types   Roly Perera
• [Agda] Re: Implicit vs. explicit function types   Roly Perera
• [Agda] Re: Implicit vs. explicit function types   Nils Anders Danielsson
• [Agda] Performance issues and code structure.   Dan Doel
• [Agda] Performance issues and code structure.   Nils Anders Danielsson
• [Agda] Performance issues and code structure.   Dan Doel
• [Agda] Performance issues and code structure.   Ulf Norell
• [Agda] Performance issues and code structure.   James Chapman
• [Agda] Type inference   Robin Green
• [Agda] Type inference   Nils Anders Danielsson
• [Agda] Q: refinement in emacs   Christoph Herrmann
• [Agda] Q: refinement in emacs   Christoph Herrmann
• [Agda] Q: refinement in emacs   Nils Anders Danielsson
• [Agda] Q: refinement in emacs   Christoph Herrmann
• [Agda] Setω and abstraction   Dan Doel
• [Agda] Setω and abstraction   Nils Anders Danielsson
• [Agda] Setω and abstraction   Dan Doel
• [Agda] fixity declarations and records: bug?   Wolfgang Jeltsch
• [Agda] Setω and abstraction   Dan Doel
• [Agda] fixity declarations and records: bug?   Ulf Norell
• [Agda] Monads in std lib   Jim Burton
• [Agda] Monads in std lib   Nils Anders Danielsson
• [Agda] PEPM'10 - Final CFP (Deadline Tuesday 6 October, 2009 )   John Gallagher
• [Agda] Q: Matching Fin, Bug?   Christoph Herrmann
• [Agda] Q: Matching Fin, Bug?   Liang-Ting Chen
• [Agda] Q: Matching Fin, Bug?   Conor McBride
• [Agda] Q: Matching Fin, Bug?   Christoph Herrmann
• [Agda] Monads in std lib   Anton Setzer
• [Agda] Monads in std lib   Daniel Peebles
• [Agda] Monads in std lib   Nils Anders Danielsson
• [Agda] Monads in std lib   Nils Anders Danielsson
• [Agda] Monads in std lib   Daniel Peebles
• [Agda] Monads in std lib   Wolfgang Jeltsch
• [Agda] Monads in std lib   Nils Anders Danielsson
• [Agda] how to type this?   Martin Escardo
• [Agda] how to type this?   Nils Anders Danielsson
• [Agda] how to type this?   Martin Escardo
• [Agda] Abbreviation mode   Robin Green
• [Agda] how to type this?   Thorsten Altenkirch
• [Agda] how to type this?   Martin Escardo
• [Agda] Abbreviation mode   Anton Setzer
• [Agda] how to type this?   Anton Setzer
• [Agda] how to type this?   Martin Escardo
• [Agda] Abbreviation mode   Nils Anders Danielsson
• [Agda] Abbreviation mode   Nils Anders Danielsson
• [Agda] HLDVT 2009 Call for Participation: Early Registration Deadline   Shireesh Verma
• [Agda] how to type this?   Nils Anders Danielsson
• [Agda] Call for Contributions - Haskell Communities and Activities Report, November 2009 edition   Janis Voigtlaender
• [Agda] New rewrite construct   Ulf Norell
• [Agda] Proof involving associativity of ++ of vectors   Shin-Cheng Mu
• [Agda] Proof involving associativity of ++ of vectors   Jean-Philippe Bernardy
• [Agda] Proof involving associativity of ++ of vectors   Nils Anders Danielsson
• [Agda] Proof involving associativity of ++ of vectors   Shin-Cheng Mu
• Do we really want special case casts? (was: [Agda] Proof involving associativity of ++ of vectors)   Samuel Gélineau
• [Agda] Re: Do we really want special case casts?   Nils Anders Danielsson
• Do we really want special case casts? (was: [Agda] Proof involving associativity of ++ of vectors)   Samuel Gélineau
• [Agda] Re: Do we really want special case casts?   Nils Anders Danielsson
• [Agda] Re: Do we really want special case casts?   Samuel Gélineau
• [Agda] Re: Do we really want special case casts?   Nils Anders Danielsson
• [Agda] Re: Do we really want special case casts?   Samuel Gélineau
• [Agda] Re: Do we really want special case casts?   Nils Anders Danielsson
• [Agda] Logical meaning of nontermination   Vag Vagoff
• [Agda] Logical meaning of nontermination   Nils Anders Danielsson
• [Agda] Re: Logical meaning of nontermination   Samuel Gélineau
• [Agda] Re: Logical meaning of nontermination   Peter Hancock
• [Agda] Re: Logical meaning of nontermination   Vag Vagoff
• [Agda] Re: Logical meaning of nontermination   Dan Doel
• [Agda] Re: Logical meaning of nontermination   Dan Doel
• [Agda] Importing Infix Operation Inside a Record From Record Field   Vag Vagoff
• [Agda] Importing Infix Operation Inside a Record From Record Field (Indentation fixed)   Vag Vagoff
• [Agda] Importing Infix Operation Inside a Record From Record Field (Indentation fixed)   Nils Anders Danielsson
• [Agda] container examples?   Noam Zeilberger
• [Agda] container examples?   Jean-Philippe Bernardy
• [Agda] Coding Conventions   Vag Vagoff
• [Agda] Comprehensive Archive of Agda Theories and other collaboration facilities   Vag Vagoff
• [Agda] Comprehensive Archive of Agda Theories and other collaboration facilities   Nils Anders Danielsson
• [Agda] Coding Conventions   Nils Anders Danielsson
• [Agda] container examples?   Noam Zeilberger
• [Agda] Double Negation as Monad   Vag Vagoff
• [Agda] Coding Conventions   Vag Vagoff
• [Agda] Double Negation as Monad   Nils Anders Danielsson
• [Agda] Double Negation as Monad   Thorsten Altenkirch
• [Agda] Double Negation as Monad   Edward Kmett
• [Agda] Double Negation as Monad   Peter Hancock
• [Agda] Duplicate parameter names in type definition   Vag Vagoff
• [Agda] Double Negation as Monad   Martin Escardo
• [Agda] Duplicate parameter names in type definition   Ulf Norell
• [Agda] Double Negation as Monad   Nils Anders Danielsson
• [Agda] This ain't right, is it?   Benja Fallenstein
• [Agda] This ain't right, is it?   Dan Doel
• [Agda] Re: This ain't right, is it?   Benja Fallenstein
• [Agda] This ain't right, is it?   Benja Fallenstein
• [Agda] Re: This ain't right, is it?   Ulf Norell
• [Agda] Re: This ain't right, is it?   Benja Fallenstein
• [Agda] primes   Ruben Henner Zilibowitz
• [Agda] primes   Julian Beaumont
• [Agda] primes   Ulf Norell
• [Agda] Termination checking fail in records?   karim kanso
• [Agda] Termination checking fail in records?   Nils Anders Danielsson
• [Agda] Suspicious Infirmity of Type Inferencer   Vag Vagoff
• [Agda] Suspicious Infirmity of Type Inferencer   Nils Anders Danielsson
• [Agda] ICFP 2010: Call for papers   Wouter Swierstra
• [Agda] Description Logics 2010: 1st call for papers   David Toman
• [Agda] CICE-2010: Call for Papers   Galyna Akmayeva
• [Agda] TFP 2010 - Call for Papers   TFP 2010
• [Agda] Second call for papers: Mathematics of Program Construction   Shin-Cheng Mu
• [Agda] Call for Participation - PEPM'10 (co-located with POPL'10)   Janis Voigtländer
• [Agda] Universe polymorphism in the standard library   Luke Palmer
• [Agda] Universe polymorphism in the standard library   Edward Kmett
• [Agda] Universe polymorphism in the standard library   Thorsten Altenkirch
• [Agda] Universe polymorphism in the standard library   Edward Kmett
• [Agda] Location of implicit argument(s)   Dirk Ullrich
• [Agda] Location of implicit argument(s)   Daniel Peebles
• [Agda] Location of implicit argument(s)   Dirk Ullrich
• [Agda] Location of implicit argument(s)   Ulf Norell
• [Agda] Universe polymorphism in the standard library   Thorsten Altenkirch
• [Agda] Location of implicit argument(s)   Dan Licata
• [Agda] Location of implicit argument(s)   Jean-Philippe Bernardy
• [Agda] Location of implicit argument(s)   Darin Morrison
• [Agda] Location of implicit argument(s)   Nils Anders Danielsson
• [Agda] Location of implicit argument(s)   Dan Licata
• [Agda] Universe polymorphism in the standard library   Nils Anders Danielsson
• [Agda] Universe polymorphism in the standard library   Nicolas Pouillard
• [Agda] Universe polymorphism in the standard library   Andreas Abel
• Generalization [Re: [Agda] Location of implicit argument(s)]   Andreas Abel
• [Agda] darcs patch: Data.Graph.Acyclic: Add a Set annotation (and 3 more)   Nicolas Pouillard
• [Agda] darcs patch: Data.Graph.Acyclic: Add a Set annotation (and 3 more)   Nils Anders Danielsson
• [Agda] MULTICONF-10 Call for papers   James Eugene
• [Agda] Termination checking failure   Ivan Tomac
• [Agda] Interfacing with Haskell   Ivan Tomac
• [Agda] Interfacing with Haskell   Nils Anders Danielsson
• [Agda] Termination checking failure   Nils Anders Danielsson
• [Agda] COMPILED_DATA directive for Maybe   Andrés Sicard-Ramírez
• [Agda] Termination checking failure   Ivan Tomac
• [Agda] Interfacing with Haskell   Ivan Tomac
• [Agda] Interfacing with Haskell   Nils Anders Danielsson
• [Agda] Termination checking failure   Nils Anders Danielsson
• [Agda] COMPILED_DATA directive for Maybe   Nils Anders Danielsson
• [Agda] Interfacing with Haskell   Ivan Tomac
• [Agda] COMPILED_DATA directive for Maybe   Nicolas Pouillard
• [Agda] Interfacing with Haskell   Nils Anders Danielsson
• [Agda] COMPILED_DATA directive for Maybe   Andrés Sicard-Ramírez
• Universe dependency [Re: [Agda] COMPILED_DATA directive for Maybe]   Andreas Abel
• [Agda] COMPILED_DATA directive for Maybe   Nicolas Pouillard
• [Agda] COMPILED_DATA directive for Maybe   Dan Doel
• [Agda] COMPILED_DATA directive for Maybe   Nicolas Pouillard
• [Agda] COMPILED_DATA directive for Maybe   Nils Anders Danielsson
• [Agda] COMPILED_DATA directive for Maybe   Dan Doel
• [Agda] Agda2 beginner's question   kahl at cas.mcmaster.ca
• Universes [Re: [Agda] COMPILED_DATA directive for Maybe]   Andreas Abel
• [Agda] Agda2 beginner's question   Andreas Abel
• [Agda] Agda2 beginner's question   Andreas Abel
• [Agda] Agda2 beginner's question   Nils Anders Danielsson
• [Agda] darcs patch: Nat.Properties: add ∀ m n → m ≤ m ⊔ n   Nicolas Pouillard
• [Agda] Agda2 beginner's question   Nicolas Pouillard
• Re: [Agda] darcs patch: Nat.Properties: add ∀ m n → m ≤ m ⊔ n   Jean-Philippe Bernardy
• [Agda] termination check   Martin Escardo
• [Agda] Orange highlights in EMACS Agda mode   Roly Perera
• [Agda] Re: Orange highlights in EMACS Agda mode   Roly Perera
• [Agda] termination check   Andrés Sicard-Ramírez
• [Agda] termination check   Martin Escardo
• [Agda] darcs patch: Nat.Properties: add ∀ m n → m ≤ m ⊔ n   Nils Anders Danielsson
• [Agda] darcs patch: Nat.Properties: add ∀ m n → m ≤ m ⊔ n   Nils Anders Danielsson
• [Agda] Orange highlights in EMACS Agda mode   Nils Anders Danielsson
• [Agda] Re: Orange highlights in EMACS Agda mode   Nils Anders Danielsson
• [Agda] Orange highlights in EMACS Agda mode   Roly Perera
• [Agda] Agda2 beginner's question   Andreas Abel
• [Agda] Newbie question, book exercise problem.   Paul Graphov
• [Agda] Newbie question, book exercise problem.   Andreas Abel
• [Agda] Newbie question, book exercise problem.   Andreas Abel
• [Agda] Agda2 beginner's question   kahl at cas.mcmaster.ca
• [Agda] Newbie question, book exercise problem.   Paul Graphov
• [Agda] Newbie question, book exercise problem.   Julian Beaumont
• [Agda] Agda2 beginner's question   Ulf Norell
• [Agda] Newbie question, book exercise problem.   Andreas Abel
• [Agda] Newbie question, book exercise problem.   Nicolas Pouillard
• [Agda] Agda2 beginner's question   kahl at cas.mcmaster.ca
• [Agda] Agda2 beginner's question   Nils Anders Danielsson
• [Agda] Newbie question, book exercise problem.   Nils Anders Danielsson
• [Agda] Agda2 beginner's question   Nils Anders Danielsson
• [Agda] Newbie question, book exercise problem.   Andreas Abel
• [Agda] Agda2 beginner's question   kahl at cas.mcmaster.ca
• [Agda] Agda2 beginner's question   Julian Beaumont
• [Agda] Agda2 beginner's question   kahl at cas.mcmaster.ca
• [Agda] PhD studentships at Nottingham   Thorsten Altenkirch
• [Agda] PhD studentships at Nottingham (corrected)   Thorsten Altenkirch
• [Agda] Newbie question, book exercise problem.   Paul Graphov
• [Agda] Newbie question, book exercise problem.   Jean-Philippe Bernardy
• [Agda] Newbie question, book exercise problem.   Nils Anders Danielsson
• [Agda] Newbie question, book exercise problem.   Andreas Abel
• [Agda] CICE-2010: Call for Papers   Galyna Akmayeva
• [Agda] syntax highlighting in darcs agda-mode   Andrea Vezzosi
• [Agda] deriving Eq for Agda?   Vilhelm Sjöberg
• [Agda] Big brackets: parse error   Vag Vagoff
• [Agda] deriving Eq for Agda?   Julian Beaumont
• [Agda] Big brackets: parse error   Andrés Sicard-Ramírez
• [Agda] syntax highlighting in darcs agda-mode   Nils Anders Danielsson
• [Agda] deriving Eq for Agda?   Nils Anders Danielsson
• [Agda] Call For Papers: WORLDCOMP 2010 Congress, July 2010, USA, paper submission deadline: March 1, 2010   WORLDCOMP'10 Congress Conferences
• [Agda] Newbie question, book exercise problem.   Paul Graphov
• [Agda] Universe Hierarchy Problem?   kahl at cas.mcmaster.ca
• [Agda] Universe Hierarchy Problem?   Nils Anders Danielsson
• [Agda] Universe Hierarchy Problem?   Andreas Abel
• [Agda] Agda and ghc 6.12   Brent Yorgey
• [Agda] Universe Hierarchy Problem?   kahl at cas.mcmaster.ca
• [Agda] Problem with ``open'' in ``record'' before ``field''   kahl at cas.mcmaster.ca
• [Agda] Problem with ``open'' in ``record'' before ``field'' (2)   kahl at cas.mcmaster.ca
• [Agda] Problem with ``open'' in ``record'' before ``field''   Nils Anders Danielsson
• [Agda] Problem with ``open'' in ``record'' before ``field''   kahl at cas.mcmaster.ca
• [Agda] Problem with ``open'' in ``record'' before ``field''   Nicolas Pouillard
• [Agda] Converting Relation.Unary to be universe-polymorphic   Daniel Peebles
• [Agda] Converting Relation.Unary to be universe-polymorphic   Nils Anders Danielsson
• [Agda] syntax highlighting in darcs agda-mode   Andrea Vezzosi
• [Agda] Converting Relation.Unary to be universe-polymorphic   Nicolas Pouillard
• [Agda] syntax highlighting in darcs agda-mode   Nils Anders Danielsson
• [Agda] Converting Relation.Unary to be universe-polymorphic   Luke Palmer
• [Agda] Converting Relation.Unary to be universe-polymorphic   Nils Anders Danielsson
• [Agda] Converting Relation.Unary to be universe-polymorphic   Daniel Peebles
• [Agda] Converting Relation.Unary to be universe-polymorphic   Nils Anders Danielsson
• [Agda] Converting Relation.Unary to be universe-polymorphic   Nils Anders Danielsson
• [Agda] Odd Type Checking Problem   karim kanso
• [Agda] Odd Type Checking Problem   Nils Anders Danielsson
• [Agda] agda options under emacs   Florent Balestrieri
• [Agda] agda options under emacs   Andrés Sicard-Ramírez
• [Agda] agda options under emacs   Nils Anders Danielsson
• [Agda] Positions in theoretical computer science at Chalmers   Peter Dybjer
• [Agda] Agda and ghc 6.12   Nils Anders Danielsson
• [Agda] implicit arguments weirdness   Florent Balestrieri
• [Agda] implicit arguments weirdness   Christoph HERRMANN
• [Agda] implicit arguments weirdness   Christoph HERRMANN
• [Agda] implicit arguments weirdness   Florent Balestrieri
• [Agda] implicit arguments weirdness   Nils Anders Danielsson
• [Agda] implicit arguments weirdness   Florent Balestrieri
• [Agda] implicit arguments weirdness   Andreas Abel
• [Agda] non-dependent product   Florent Balestrieri
• [Agda] Agda and ghc 6.12   Nils Anders Danielsson
• [Agda] Termination Checking in Development Agda   karim kanso
• [Agda] Termination Checking in Development Agda   Nils Anders Danielsson
• [Agda] dmdFix loop warning/error   Andrés Sicard-Ramírez
• [Agda] dmdFix loop warning/error   Nils Anders Danielsson
• [Agda] Odd `with' desugaring?   Daniel Peebles
• [Agda] Early registration deadline - PEPM'10   Janis Voigtländer
• [Agda] AIM XI First Call for Participation   KINOSHITA Yoshiki
• [Agda] Odd `with' desugaring?   Nils Anders Danielsson
• [Agda] Description Logics 2010: 2nd call for papers   David Toman
• [Agda] non-dependent product   Nils Anders Danielsson
• [Agda] ANNOUNCE: Agda 2.2.6   Nils Anders Danielsson
• [Agda] ANNOUNCE: Standard library version 0.3   Nils Anders Danielsson
• [Agda] Odd `with' desugaring?   Daniel Peebles
• [Agda] PhD student in the FormMath project   Bas Spitters

Last message date: Sun Dec 27 14:38:01 CEST 2009
Archived on: Mon Dec 28 09:44:52 CEST 2009

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...