bitc-dev  

Messages by Date

• 2015/04/28 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem William ML Leslie
• 2015/04/28 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Jon Zeppieri
• 2015/04/28 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/04/28 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem William ML Leslie
• 2015/04/28 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/04/27 [bitc-dev] Typeclasses vs Implicits and the coherence problem William ML Leslie
• 2015/04/07 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/07 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/07 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/07 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/07 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/07 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/06 Re: [bitc-dev] Not everything is a type Jonathan S. Shapiro
• 2015/04/06 Re: [bitc-dev] Not everything is a type Pal Engstad
• 2015/04/04 Re: [bitc-dev] Not everything is a type Sandro Magi
• 2015/04/04 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/04 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/04 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/04 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/04 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/04 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/04 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/04 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/04 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/04 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/04 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/04 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/04 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/04 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/04 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/04 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/04 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/03 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/03 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/03 Re: [bitc-dev] Not everything is a type Geoffrey Irving
• 2015/04/03 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/03 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/03 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/03 Re: [bitc-dev] Not everything is a type Pal Engstad
• 2015/04/03 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/03 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/03 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/03 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/03 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/03 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/03 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/03 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/03 Re: [bitc-dev] Not everything is a type Pal Engstad
• 2015/04/03 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/03 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/03 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/03 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/03 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/03 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/03 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/03 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/03 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/03 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/03 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/03 Re: [bitc-dev] Not everything is a type Keean Schupke
• 2015/04/02 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/02 [bitc-dev] Not everything is a type Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Overlake school Jonathan S. Shapiro
• 2015/04/02 Re: [bitc-dev] Overlake school Geoffrey Irving
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 [bitc-dev] Overlake school Jonathan S. Shapiro
• 2015/04/02 [bitc-dev] polyinstantiation of nats vs. parametric nat polymorphism Geoffrey Irving
• 2015/04/02 [bitc-dev] Fwd: [llvm-announce] LLVM 3.5.2 Release! Jonathan S. Shapiro
• 2015/04/02 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/02 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/02 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/02 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/02 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/02 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/02 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/02 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/02 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/02 Re: [bitc-dev] Arity, Take N William ML Leslie
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N William ML Leslie
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/02 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/02 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/02 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/01 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/01 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/01 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/01 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/01 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/01 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/01 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/01 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/01 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/01 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/01 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/01 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/01 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/01 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/01 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/01 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/01 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/01 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/01 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/01 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/01 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/01 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/01 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/01 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/01 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/01 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/01 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/01 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/04/01 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/01 Re: [bitc-dev] Arity, Take N William ML Leslie
• 2015/04/01 Re: [bitc-dev] Arity, Take N William ML Leslie
• 2015/04/01 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/01 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/01 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/04/01 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/01 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/04/01 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/31 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/31 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/31 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/31 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/31 Re: [bitc-dev] Arity, Take N William ML Leslie
• 2015/03/31 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/03/31 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/31 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/03/31 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/31 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/31 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/03/31 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/31 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/31 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/31 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/31 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/31 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/31 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/31 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/31 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/31 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/31 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/31 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/03/31 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/03/31 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/31 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/31 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/31 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/30 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/30 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/30 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/30 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/03/30 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/03/30 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/30 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/03/30 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/30 Re: [bitc-dev] Arity, Take N William ML Leslie
• 2015/03/30 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/30 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/30 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/30 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/03/30 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/03/30 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/03/30 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/30 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/30 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/30 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/30 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/29 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/29 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/03/27 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/27 Re: [bitc-dev] Arity, Take N Jonathan S. Shapiro
• 2015/03/22 Re: [bitc-dev] Arity, Take N Keean Schupke
• 2015/03/22 Re: [bitc-dev] Arity, Take N Matt Oliveri
• 2015/03/22 Re: [bitc-dev] Arity, Take N Keean Schupke

• Earlier messages
• Later messages