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