bitc-dev  

Messages by Date

• 2015/02/14 Re: [bitc-dev] [SPAM] Re: current status of currying Jonathan S. Shapiro
• 2015/02/14 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/14 Re: [bitc-dev] current status of currying William ML Leslie
• 2015/02/13 Re: [bitc-dev] current status of currying Matt Oliveri
• 2015/02/13 Re: [bitc-dev] [SPAM] Re: current status of currying Matt Oliveri
• 2015/02/13 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/13 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/13 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/13 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/13 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/13 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/13 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/13 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/13 Re: [bitc-dev] [SPAM] Re: current status of currying Sandro Magi
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying William ML Leslie
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Oliveri
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Oliveri
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Oliveri
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Oliveri
• 2015/02/12 Re: [bitc-dev] current status of currying Pal Engstad
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Oliveri
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Oliveri
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Oliveri
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] [SPAM] Re: current status of currying Sandro Magi
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] [SPAM] Re: current status of currying Sandro Magi
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Rice
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Rice
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying William ML Leslie
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Rice
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying William ML Leslie
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Rice
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Oliveri
• 2015/02/12 Re: [bitc-dev] current status of currying William ML Leslie
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Oliveri
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Oliveri
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying William ML Leslie
• 2015/02/12 Re: [bitc-dev] current status of currying William ML Leslie
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Oliveri
• 2015/02/12 Re: [bitc-dev] current status of currying William ML Leslie
• 2015/02/12 Re: [bitc-dev] current status of currying Matt Rice
• 2015/02/12 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/11 Re: [bitc-dev] current status of currying Matt Oliveri
• 2015/02/11 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/11 Re: [bitc-dev] current status of currying Matt Oliveri
• 2015/02/11 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/11 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/11 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/11 Re: [bitc-dev] current status of currying Geoffrey Irving
• 2015/02/11 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/11 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/11 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/11 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/11 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/11 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/11 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/11 Re: [bitc-dev] current status of currying William ML Leslie
• 2015/02/10 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/10 Re: [bitc-dev] current status of currying Geoffrey Irving
• 2015/02/10 Re: [bitc-dev] current status of currying Keean Schupke
• 2015/02/10 Re: [bitc-dev] current status of currying Geoffrey Irving
• 2015/02/10 Re: [bitc-dev] Comprehensions Matt Oliveri
• 2015/02/10 Re: [bitc-dev] Comprehensions Keean Schupke
• 2015/02/10 Re: [bitc-dev] Comprehensions Jonathan S. Shapiro
• 2015/02/10 Re: [bitc-dev] Comprehensions Keean Schupke
• 2015/02/10 Re: [bitc-dev] Comprehensions Raoul Duke
• 2015/02/10 Re: [bitc-dev] Comprehensions Keean Schupke
• 2015/02/10 Re: [bitc-dev] Comprehensions Jonathan S. Shapiro
• 2015/02/10 Re: [bitc-dev] Comprehensions Keean Schupke
• 2015/02/10 Re: [bitc-dev] Comprehensions Matt Rice
• 2015/02/10 Re: [bitc-dev] Comprehensions Keean Schupke
• 2015/02/10 Re: [bitc-dev] Comprehensions Jonathan S. Shapiro
• 2015/02/10 Re: [bitc-dev] Comprehensions Jonathan S. Shapiro
• 2015/02/10 Re: [bitc-dev] Comprehensions Keean Schupke
• 2015/02/10 Re: [bitc-dev] Comprehensions Jonathan S. Shapiro
• 2015/02/10 Re: [bitc-dev] Comprehensions Keean Schupke
• 2015/02/09 Re: [bitc-dev] Comprehensions Matt Rice
• 2015/02/09 Re: [bitc-dev] Comprehensions Matt Rice
• 2015/02/09 Re: [bitc-dev] Comprehensions Geoffrey Irving
• 2015/02/09 Re: [bitc-dev] Comprehensions Jonathan S. Shapiro
• 2015/02/09 Re: [bitc-dev] Comprehensions Geoffrey Irving
• 2015/02/09 Re: [bitc-dev] Comprehensions Jonathan S. Shapiro
• 2015/02/09 Re: [bitc-dev] Comprehensions Jonathan S. Shapiro
• 2015/02/09 Re: [bitc-dev] Comprehensions Jonathan S. Shapiro
• 2015/02/09 Re: [bitc-dev] Comprehensions Keean Schupke
• 2015/02/09 Re: [bitc-dev] Comprehensions Keean Schupke
• 2015/02/09 Re: [bitc-dev] Comprehensions Jonathan S. Shapiro
• 2015/02/09 Re: [bitc-dev] Comprehensions Keean Schupke
• 2015/02/09 Re: [bitc-dev] Comprehensions Keean Schupke
• 2015/02/09 Re: [bitc-dev] Comprehensions Jonathan S. Shapiro
• 2015/02/09 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/08 Re: [bitc-dev] current status of currying William ML Leslie
• 2015/02/08 Re: [bitc-dev] Comprehensions Keean Schupke
• 2015/02/08 [bitc-dev] Comprehensions Jonathan S. Shapiro
• 2015/02/08 [bitc-dev] mixfix patterns? Jonathan S. Shapiro
• 2015/02/08 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/06 Re: [bitc-dev] current status of currying Jonathan S. Shapiro
• 2015/02/05 [bitc-dev] current status of currying Geoffrey Irving
• 2015/02/02 [bitc-dev] Quick test of the list Jonathan S. Shapiro
• 2015/02/02 [bitc-dev] Please ignore Jonathan S. Shapiro
• 2015/02/01 Re: [bitc-dev] Where has shap been lately? Jonathan S. Shapiro
• 2015/01/31 Re: [bitc-dev] Where has shap been lately? Jonathan S. Shapiro
• 2015/01/31 Re: [bitc-dev] Where has shap been lately? David Jeske
• 2015/01/31 Re: [bitc-dev] Where has shap been lately? Jonathan S. Shapiro
• 2015/01/31 Re: [bitc-dev] Where has shap been lately? Valerio Bellizzomi
• 2015/01/31 Re: [bitc-dev] Where has shap been lately? Matt Oliveri
• 2015/01/30 Re: [bitc-dev] Where has shap been lately? ryanprior
• 2015/01/30 [bitc-dev] Where has shap been lately? Jonathan S. Shapiro
• 2015/01/14 [bitc-dev] What happened to shap? Jonathan S. Shapiro
• 2015/01/12 Re: [bitc-dev] separate compilation with dependent types Geoffrey Irving
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited Pal Engstad
• 2015/01/09 Re: [bitc-dev] Is mutability inference useful? Matt Oliveri
• 2015/01/09 Re: [bitc-dev] tell me it won't be like Scala Keean Schupke
• 2015/01/09 Re: [bitc-dev] tell me it won't be like Scala William ML Leslie
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/09 Re: [bitc-dev] tell me it won't be like Scala Keean Schupke
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited William ML Leslie
• 2015/01/09 Re: [bitc-dev] tell me it won't be like Scala William ML Leslie
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/09 Re: [bitc-dev] tell me it won't be like Scala Keean Schupke
• 2015/01/09 Re: [bitc-dev] tell me it won't be like Scala Keean Schupke
• 2015/01/09 Re: [bitc-dev] tell me it won't be like Scala Keean Schupke
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited William ML Leslie
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited William ML Leslie
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited William ML Leslie
• 2015/01/09 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/09 Re: [bitc-dev] tell me it won't be like Scala William ML Leslie
• 2015/01/08 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/08 Re: [bitc-dev] tell me it won't be like Scala Keean Schupke
• 2015/01/08 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/08 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/08 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/08 Re: [bitc-dev] tell me it won't be like Scala Jonathan S. Shapiro
• 2015/01/08 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/08 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/08 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/08 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/08 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/08 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/08 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/08 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/08 [bitc-dev] tell me it won't be like Scala Raoul Duke
• 2015/01/08 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/08 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/07 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] separate compilation with dependent types Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited William ML Leslie
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving

• Earlier messages
• Later messages