epigram  

Messages by Date

• 2009/04/07 [Epigram] Fwd: JFP Special Issue on Generic Programming Conor McBride
• 2009/03/13 [Epigram] Fwd: Call for papers: Workshop on Termination (WST 2009) Conor McBride
• 2009/03/13 [Epigram] PhD positions at Nottingham & Swansea Thorsten Altenkirch
• 2008/09/22 [Epigram] A Text editor for Epigram Eric
• 2008/06/30 [Epigram] CFP: Dependently Typed Programming (FI Special Issue) Thorsten Altenkirch
• 2008/04/19 Re: [Epigram] Why does Epigram colors Branches brown? Wouter Swierstra
• 2008/04/19 [Epigram] And a question on UniqList. Serguey Zefirov
• 2008/04/19 [Epigram] Why does Epigram colors Branches brown? Serguey Zefirov
• 2008/03/21 [Epigram] Equality. Serguey Zefirov
• 2008/03/05 [Epigram] CFP: PLMMS 2008 Jacques Carette
• 2008/03/04 Re: [Epigram] wList definition, reloaded. Peter Morris
• 2008/03/04 Re: [Epigram] wList definition, reloaded. Peter Morris
• 2008/03/04 [Epigram] wList definition, reloaded. Serguey Zefirov
• 2008/03/04 [Epigram] wList again. Serguey Zefirov
• 2008/03/03 [Epigram] wList again. Serguey Zefirov
• 2008/02/29 Re: [Epigram] Transpose again Conor McBride
• 2008/02/29 [Epigram] Transpose again Serguey Zefirov
• 2008/02/27 Re: [Epigram] Generic programming again, now exercise 3. Serguey Zefirov
• 2008/02/27 Re: [Epigram] Generic programming again, now exercise 3. Peter Morris
• 2008/02/26 Re: [Epigram] Higher-order functions. James McKinna
• 2008/02/25 [Epigram] Generic programming again, now exercise 3. Serguey Zefirov
• 2008/02/25 Re: [Epigram] transpose from Generic Programming with Dependent Types. Conor McBride
• 2008/02/22 Re: [Epigram] transpose from Generic Programming with Dependent Types. Serguey Zefirov
• 2008/02/21 Re: [Epigram] transpose from Generic Programming with Dependent Types. Isaac Dupree
• 2008/02/21 [Epigram] transpose from Generic Programming with Dependent Types. Serguey Zefirov
• 2008/02/20 Re: [Epigram] How to define init for vectors? Serguey Zefirov
• 2008/02/20 Re: [Epigram] How to define init for vectors? Conor McBride
• 2008/02/20 [Epigram] How to define init for vectors? Serguey Zefirov
• 2008/02/14 Re: [Epigram] Higher-order functions. Wouter Swierstra
• 2008/02/14 [Epigram] Higher-order functions. Serguey Zefirov
• 2008/02/13 [Epigram] Constant definition. Serguey Zefirov
• 2008/02/13 [Epigram] How to define a constant in Epigram? Serguey Zefirov
• 2007/12/07 Re: [Epigram] Got stuck. Wouter Swierstra
• 2007/12/07 [Epigram] Got stuck. Serguey Zefirov
• 2007/08/12 [Epigram] reactions to "Simply Easy" paper Isaac Dupree
• 2007/08/10 [Epigram] Make the most of Now Sebastian Hanowski
• 2007/07/24 [Epigram] Odelay Sebastian Hanowski
• 2007/05/07 [Epigram] applicative partial programming now Sebastian Hanowski
• 2007/04/25 [Epigram] Programming Languages and Mechanised Mathematics -- deadline extension Jacques Carette
• 2007/04/15 Re: [Epigram] background reading - _Type Theory and Functional Programming_? Wouter Swierstra
• 2007/04/14 [Epigram] background reading - _Type Theory and Functional Programming_? Isaac Dupree
• 2007/04/11 Re: [Epigram] if it's now or never, the delay monad will tell you later Josh Burdick
• 2007/04/03 Re: [Epigram] if it's now or never, the delay monad will tell you later Sebastian Hanowski
• 2007/04/03 Re: [Epigram] if it's now or never, the delay monad will tell you later Isaac Dupree
• 2007/04/03 Re: [Epigram] if it's now or never, the delay monad will tell you later Sebastian Hanowski
• 2007/04/03 Re: [Epigram] if it's now or never, the delay monad will tell you later Isaac Dupree
• 2007/04/03 [Epigram] if it's now or never, the delay monad will tell you later Sebastian Hanowski
• 2007/03/28 [Epigram] allowing "almost" a fixpoint? Josh Burdick
• 2007/03/12 [Epigram] CFP: Programming Languages for Mechanized Mathematics Workshop Jacques Carette
• 2007/02/18 Re: [Epigram] Observations about Epigram Isaac Dupree
• 2007/02/18 Re: [Epigram] Observations about Epigram Robin Green
• 2007/02/18 [Epigram] Observations about Epigram Isaac Dupree
• 2007/02/13 Re: [Epigram] reversing a vector Matthew Walton
• 2007/02/12 Re: [Epigram] reversing a vector Pierre Casteran
• 2007/02/12 [Epigram] reversing a vector Pierre Casteran
• 2007/02/12 [Epigram] Re: [epigram-help] implicit arguments Conor McBride
• 2007/02/12 [Epigram] Re: [epigram-help] implicit arguments Conor McBride
• 2007/02/09 Re: [Epigram] Observational type theory Conor McBride
• 2007/02/07 Re: [Epigram] Observational type theory (was: definitional equality in observational type theory) Robin Green
• 2007/02/01 Re: [Epigram] Definitional equality in observational type theory Thorsten Altenkirch
• 2007/02/01 Re: [Epigram] Definitional equality in observational type theory Thorsten Altenkirch
• 2007/02/01 Re: [Epigram] Definitional equality in observational type theory Conor McBride
• 2007/02/01 Re: [Epigram] Definitional equality in observational type theory Bas Spitters
• 2007/02/01 Re: [Epigram] Definitional equality in observational type theory Thorsten Altenkirch
• 2007/01/31 Re: [Epigram] Definitional equality in observational type theory Bas Spitters
• 2007/01/30 Re: [Epigram] Definitional equality in observational type theory txa
• 2007/01/29 Re: [Epigram] Definitional equality in observational type theory Bas Spitters
• 2007/01/29 Re: [Epigram] Definitional equality in observational type theory Thorsten Altenkirch
• 2007/01/26 Re: [Epigram] Definitional equality in observational type theory Robin Green
• 2007/01/26 ott questions (was: Re: [Epigram] Definitional equality in observational type theory) Sebastian Hanowski
• 2007/01/25 Re: [Epigram] Definitional equality in observational type theory Conor McBride
• 2007/01/25 Re: [Epigram] Definitional equality in observational type theory Wouter Swierstra
• 2007/01/25 Re: [Epigram] Definitional equality in observational type theory Thorsten Altenkirch
• 2007/01/24 [Epigram] Definitional equality in observational type theory Robin Green
• 2007/01/23 Re: [Epigram] Re: [epigram-help] starting with epigram Laszlo Nemeth
• 2007/01/23 [Epigram] Any fun Sebastian Hanowski
• 2007/01/23 Re: [Epigram] Re: [epigram-help] starting with epigram P.C.Callaghan
• 2007/01/23 [Epigram] Re: [epigram-help] starting with epigram Conor McBride
• 2006/12/15 Re: [Epigram] Epigram vs more conventional proof assistants Conor McBride
• 2006/12/15 add to the discourse (was: Re: [Epigram] Experiences teaching (with) epigram) Sebastian Hanowski
• 2006/12/13 Re: [Epigram] Experiences teaching (with) epigram neil
• 2006/12/13 [Epigram] Epigram vs more conventional proof assistants Robin Green
• 2006/12/13 Re: [Epigram] Experiences teaching (with) epigram Thorsten Altenkirch
• 2006/11/28 [Epigram] Experiences teaching (with) epigram neil
• 2006/11/22 [Epigram] Epigram LaTeX macros Wolfgang Jeltsch
• 2006/10/10 [Epigram] Re: [epigram-help] Epigram and Concurrency Conor McBride
• 2006/10/08 [Epigram] Epigram 1 for 6.5 Conor McBride
• 2006/10/05 [Epigram] Re: funny proof of not not A \/ not A Conor McBride
• 2006/08/17 [Epigram] how to view backwards without crashing your program Sebastian Hanowski
• 2006/08/12 [Epigram] lib-service Sebastian Hanowski
• 2006/08/10 Re: [Epigram] defining terms Wolfgang Jeltsch
• 2006/08/08 Re: [Epigram] [ANNOUNCE] A type-correct n : Val T Sebastian Hanowski
• 2006/07/26 Re: [Epigram] Compile errors Conor McBride
• 2006/07/22 [Epigram] Compile errors Tristan Wibberley
• 2006/07/20 [Epigram] [ANNOUNCE] A type-correct, stack-safe, provably correct, expression compiler in Epigram. Joel Wright
• 2006/07/20 Re: [Epigram] Equality Sebastian Hanowski
• 2006/07/06 Re: [Epigram] Partially defined functions and Pattern matching Ulf Norell
• 2006/07/06 Re: [Epigram] Partially defined functions and Pattern matching Yong Luo
• 2006/06/22 Re: [Epigram] Equality Sebastian Hanowski
• 2006/06/22 [Epigram] Equality Matthew Walton
• 2006/06/19 Re: [Epigram] Partially defined functions and Pattern matching Ulf Norell
• 2006/06/19 Re: [Epigram] Partially defined functions and Pattern matching Yong Luo
• 2006/06/19 Re: [Epigram] Partially defined functions and Pattern matching Ulf Norell
• 2006/06/19 Re: [Epigram] Partially defined functions and Pattern matching Yong Luo
• 2006/06/19 Re: [Epigram] Partially defined functions and Pattern matching Ulf Norell
• 2006/06/16 [Epigram] more on what began with Conors mousepad... Sebastian Hanowski
• 2006/06/15 Re: [Epigram] Partially defined functions and Pattern matching Yong Luo
• 2006/06/15 Re: [Epigram] Partially defined functions and Pattern matching Conor McBride
• 2006/06/15 Re: [Epigram] Partially defined functions and Pattern matching Yong Luo
• 2006/06/15 Re: [Epigram] Partially defined functions and Pattern matching Yong Luo
• 2006/06/15 Re: [Epigram] Partially defined functions and Pattern matching Conor McBride
• 2006/06/15 Re: [Epigram] Partially defined functions and Pattern matching Yong Luo
• 2006/06/14 Re: [Epigram] Partially defined functions and Pattern matching Thorsten Altenkirch
• 2006/06/14 Re: [Epigram] Partially defined functions and Pattern matching Yong Luo
• 2006/06/14 Re: [Epigram] Partially defined functions and Pattern matching Thorsten Altenkirch
• 2006/06/14 Re: [Epigram] Partially defined functions and Pattern matching Conor McBride
• 2006/06/14 Re: [Epigram] Partially defined functions and Pattern matching Yong Luo
• 2006/06/14 Re: [Epigram] Partially defined functions and Pattern matching Yong Luo
• 2006/06/14 Re: [Epigram] Partially defined functions and Pattern matching Conor McBride
• 2006/06/13 Re: [Epigram] Epigram & Teaching Sebastian Hanowski
• 2006/06/13 Re: [Epigram] Partially defined functions and Pattern matching Conor McBride
• 2006/06/13 [Epigram] Partially defined functions and Pattern matching Yong Luo
• 2006/06/12 [Epigram] Epigram & Teaching neil
• 2006/06/12 [Epigram] On Berry's Majority Function Conor McBride
• 2006/06/09 Re: [Epigram] On Pattern Matching Coverage Yong Luo
• 2006/06/08 [Epigram] On Pattern Matching Coverage Conor McBride
• 2006/06/08 [Epigram] Re: [epigram-help] Status of type equality inference in Epigram? Conor McBride
• 2006/06/02 [Epigram] Epigram-help Sebastian Hanowski
• 2006/05/28 [Epigram] Epigram-help .
• 2006/05/28 [Epigram] Warm Up; Add Up : Reloaded Sebastian Hanowski
• 2006/05/16 Re: [Epigram] An example similar to the Majority Function Sebastian Hanowski
• 2006/05/12 Re: [Epigram] An example similar to the Majority Function Conor McBride
• 2006/05/11 Re: [Epigram] An example similar to the Majority Function Edwin Brady
• 2006/05/11 [Epigram] An example similar to the Majority Function Yong Luo
• 2006/04/22 Re: [Epigram] Functor laws using dependent types? Yong Luo
• 2006/04/20 Re: [Epigram] Functor laws using dependent types? Thorsten Altenkirch
• 2006/04/19 [Epigram] dependent types vs typeclasses .
• 2006/04/17 Re: [Epigram] Functor laws using dependent types? Conor McBride
• 2006/04/17 [Epigram] Functor laws using dependent types? Robin Green
• 2006/04/12 [Epigram] Re: Level n declaration Conor McBride
• 2006/04/11 [Epigram] inductively defined relations lnemeth
• 2006/04/11 Re: [Epigram] The power's back on: decidable equality for lists Peter Morris
• 2006/04/03 [Epigram] The power's back on decidable equality Sebastian Hanowski
• 2006/04/03 Re: [Epigram] The power's back on: decidable equality for lists Laszlo Nemeth
• 2006/03/31 [Epigram] The power's back on Peter Morris
• 2006/03/14 Re: [Epigram] an old friend Sebastian Hanowski
• 2006/03/12 [Epigram] an old friend Conor McBride
• 2006/03/10 Re: [Epigram] sending text to a shed not working Wolfgang Jeltsch
• 2006/03/10 [Epigram] sending text to a shed not working Wolfgang Jeltsch
• 2006/02/27 Re: [Epigram] defining terms Conor McBride
• 2006/02/24 Re: [Epigram] defining terms Wolfgang Jeltsch
• 2006/02/24 Re: [Epigram] defining terms Conor McBride
• 2006/02/24 Re: [Epigram] colors Conor McBride
• 2006/02/24 [Epigram] defining terms Wolfgang Jeltsch
• 2006/02/24 [Epigram] colors Wolfgang Jeltsch
• 2006/02/14 [Epigram] epigram the movie Sebastian Hanowski
• 2006/01/20 Re: [Epigram] yellow question marks Laszlo Nemeth
• 2006/01/19 Re: [Epigram] yellow question marks peter morris
• 2006/01/19 Re: [Epigram] yellow question marks Conor McBride
• 2006/01/19 [Epigram] yellow question marks Laszlo Nemeth
• 2006/01/08 Re: [Epigram] CVS? nick thomas
• 2006/01/08 Re: [Epigram] CVS? peter morris
• 2006/01/08 Re: [Epigram] CVS? Thorsten Altenkirch
• 2006/01/08 Re: [Epigram] CVS? Conor McBride
• 2006/01/07 Re: [Epigram] CVS? nick thomas
• 2006/01/07 Re: [Epigram] CVS? peter morris
• 2006/01/07 [Epigram] CVS? nick thomas
• 2006/01/06 Re: [Epigram] Hi! nick thomas
• 2006/01/06 Re: [Epigram] Hi! Thorsten Altenkirch
• 2006/01/06 RE: [Epigram] Hi! Cyril
• 2006/01/05 [Epigram] Hi! nick thomas
• 2006/01/05 Re: [Epigram] takewhile questionmark(s) peter morris
• 2006/01/04 [Epigram] takewhile questionmark(s) Laszlo Nemeth
• 2005/12/22 [Epigram] license of Epigram Wolfgang Jeltsch
• 2005/12/14 [Epigram] twice of Dyckhoff's Sebastian Hanowski
• 2005/12/14 [Epigram] fibworx Sebastian Hanowski
• 2005/12/12 [Epigram] Finally effing online... hancock
• 2005/12/12 [Epigram] Sorry! hancock
• 2005/12/12 [Epigram] take 2 Conor McBride
• 2005/12/12 [Epigram] more detail about fib Conor McBride
• 2005/12/01 Re: interactive versus batch WAS Re: [Epigram] rehearsal of reversal neil
• 2005/12/01 Re: interactive versus batch WAS Re: [Epigram] rehearsal of reversal Conor McBride
• 2005/12/01 interactive versus batch WAS Re: [Epigram] rehearsal of reversal neil
• 2005/11/29 Re: [Epigram] why not replace failure with a context access? Conor McBride
• 2005/11/29 Re: [Epigram] why not replace failure with a context access? peter morris
• 2005/11/29 [Epigram] why not replace failure with a context access? Sebastian Hanowski
• 2005/11/28 Re: [Epigram] rehearsal of reversal Conor McBride
• 2005/11/28 [Epigram] rehearsal of reversal Sebastian Hanowski
• 2005/11/25 [Epigram] On Undo Sebastian Hanowski
• 2005/11/24 Re: [Epigram] Simple question Wouter Swierstra
• 2005/11/24 [Epigram] Simple question Enrique Vetere
• 2005/11/23 [Epigram] Epigram on Solaris Sebastian Hanowski
• 2005/11/22 [Epigram] Epigram on Solaris Sebastian Hanowski
• 2005/11/22 [Epigram] the in sound from way out ... fairness issues Sebastian Hanowski
• 2005/11/21 Re: [Epigram] epigram tells me fibs Conor McBride
• 2005/11/21 Re: [Epigram] epigram tells me fibs Yong Luo
• 2005/11/21 [Epigram] what maj tells me... (was: Re: epigram tells me fibs) Sebastian Hanowski
• 2005/11/21 Re: [Epigram] epigram tells me fibs Thorsten Altenkirch
• 2005/11/21 Re: [Epigram] epigram tells me fibs Yong Luo
• 2005/11/21 Re: [Epigram] epigram tells me fibs Thorsten Altenkirch

• Earlier messages