February 2018 Archives by date
Starting: Thu Feb 1 04:17:50 UTC 2018
Ending: Sun Feb 25 23:26:30 UTC 2018
Messages: 99
- Formal verification of containers
Joachim Breitner
- Formal verification of containers
David Feuer
- Formal verification of containers
Henning Thielemann
- Formal verification of containers
Joachim Breitner
- Formal verification of containers
Henning Thielemann
- Formal verification of containers
Joachim Breitner
- Formal verification of containers
David Feuer
- Formal verification of containers
Tom Murphy
- Formal verification of containers
David Feuer
- Formal verification of containers
Gershom B
- Formal verification of containers
David Feuer
- Formal verification of containers
Joachim Breitner
- generalize type of Data.Set.unions from List to Foldable
Johannes Waldmann
- generalize type of Data.Set.unions from List to Foldable
Henning Thielemann
- generalize type of Data.Set.unions from List to Foldable
David Feuer
- generalize type of Data.Set.unions from List to Foldable
Johannes Waldmann
- generalize type of Data.Set.unions from List to Foldable
David Feuer
- generalize type of Data.Set.unions from List to Foldable
Joachim Breitner
- generalize type of Data.Set.unions from List to Foldable
Henning Thielemann
- generalize type of Data.Set.unions from List to Foldable
David Feuer
- generalize type of Data.Set.unions from List to Foldable
David Feuer
- Removing bitSize
David Feuer
- Removing bitSize
Andrew Martin
- [core libraries] Re: Removing bitSize
Edward Kmett
- generalize type of Data.Set.unions from List to Foldable
Evan Laforge
- Preventing double-free error with `stablePtr`
Gershom B
- generalize type of Data.Set.unions from List to Foldable
Jan-Willem Maessen
- generalize type of Data.Set.unions from List to Foldable
Oliver Charles
- generalize type of Data.Set.unions from List to Foldable
David Feuer
- generalize type of Data.Set.unions from List to Foldable
Oliver Charles
- Preventing double-free error with `stablePtr`
Simon Peyton Jones
- Preventing double-free error with `stablePtr`
Carter Schonwald
- Preventing double-free error with `stablePtr`
David Feuer
- Formal verification of containers
Joachim Breitner
- Formal verification of containers
David Feuer
- Proposal: accum and accumArray strictness
David Feuer
- Proposal: accum and accumArray strictness
David Feuer
- Proposal: Debug.Trace.traceWith
Kris Nuttycombe
- Proposal: Debug.Trace.traceWith
Theodore Lief Gannon
- Proposal: Debug.Trace.traceWith
David Feuer
- Proposal: Debug.Trace.traceWith
Michael Sloan
- Proposal: Debug.Trace.traceWith
Kris Nuttycombe
- Proposal: Debug.Trace.traceWith
David Feuer
- Proposal: Debug.Trace.traceWith
David Feuer
- Proposal: Debug.Trace.traceWith
Kris Nuttycombe
- [core libraries] Re: Proposal: Debug.Trace.traceWith
Joachim Breitner
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
David Feuer
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Andrew Martin
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Chris Wong
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Mario Blažević
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Kris Nuttycombe
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
David Feuer
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Daniel Cartwright
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Kris Nuttycombe
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
John Wiegley
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
David Feuer
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Herbert Valerio Riedel
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Matt Renaud
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
David Feuer
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Herbert Valerio Riedel
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
David Feuer
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Matt Renaud
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
M Farkas-Dyck
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Herbert Valerio Riedel
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Henning Thielemann
- Disabling deprecated functions
David Feuer
- Disabling deprecated functions
David Feuer
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Akio Takano
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Evan Laforge
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Oliver Charles
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Akio Takano
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Oleg Grenrus
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Akio Takano
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
David Feuer
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Mario Blažević
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Joachim Breitner
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
David Feuer
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Oleg Grenrus
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Mario Blažević
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Matt Renaud
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Bardur Arantsson
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Evan Laforge
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Petr Pudlák
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Tony Morris
- Proposal: Make size (from 'unordered-containers') run in constant time
Alexandre Rodrigues
- Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap
Carter Schonwald
- [core libraries] Re: Proposal: Debug.Trace.traceWith
Gershom B
- [core libraries] Re: Proposal: Debug.Trace.traceWith
Michael Snoyman
- [core libraries] Re: Proposal: Debug.Trace.traceWith
Henning Thielemann
- Proposal: Add Applicative (and Monoid) instances in GHC.Generics
Li-yao Xia
- Proposal: Add Applicative (and Monoid) instances in GHC.Generics
Ryan Scott
- Proposal: Add Applicative (and Monoid) instances in GHC.Generics
Oleg Grenrus
- Proposal: Add Applicative (and Monoid) instances in GHC.Generics
Edward Kmett
- Spam on Hackage
Marco Zocca
- Spam on Hackage
Oleg Grenrus
- Proposal: Add Applicative (and Monoid) instances in GHC.Generics (Libraries Digest, Vol 174, Issue 27)
Li-yao Xia
- Proposal: Add Applicative (and Monoid) instances in GHC.Generics (Libraries Digest, Vol 174, Issue 27)
Ryan Scott
- Proposal: Add Eq1 and Ord1 instances in GHC.Generics, and synchronize with Data.Functor.* types
Li-yao Xia
- Proposal: Add Eq1 and Ord1 instances in GHC.Generics, and synchronize with Data.Functor.* types
Ryan Scott
Last message date:
Sun Feb 25 23:26:30 UTC 2018
Archived on: Sun Feb 25 22:52:49 UTC 2018
This archive was generated by
Pipermail 0.09 (Mailman edition).