Adam Gundry-2
Adam Gundry-2
Unregistered User
Groups: Anyone
Posts in Haskell
1234 ... 6
Show   Total: 104 items
Date Subject Count Location
Re: Parametric polymorphism and promoted types 0 replies Haskell - Haskell-Cafe
ANN: optics-0.1 0 replies Haskell - Haskell-Cafe
Re: TTG: Handling Source Locations 0 replies GHC - devs
Re: Equality constraints (~): type-theory behind them 0 replies Haskell - Glasgow-haskell-users
Re: TcPluginContradiction understanding problem and converting Type to Typeable 0 replies GHC - devs
Re: A type checker plugin for row types 4 replies GHC - devs
Re: I'm afraid of OverloadedLabels. 3 replies Haskell - Haskell-Cafe
Re: Size-indexed monoids 2 replies Haskell - Haskell-Cafe
Overloaded record fields for 8.2? 1 reply GHC - devs
Re: Is it possible to get the selector functions when defining a generic class? 0 replies Haskell - Haskell-Cafe
OverloadedRecordFields request for review 0 replies GHC - devs
GHC proposal for OverloadedRecordFields (plus some amendments to OverloadedLabels) 0 replies Haskell - Glasgow-haskell-users
Re: Can we offer ~ without GADTs or type families? 1 reply GHC - devs
Re: Different behaviour with -XAllowAmbiguousTypes in 7.10.3b and 8.0.1 0 replies Haskell - Haskell-Cafe
Re: ORF for fields of higher-ranked type [was: TDNR without new operators or syntax changes] 0 replies Haskell - Glasgow-haskell-users
Re: GHC 8 + ImpredictiveTypes + $ 1 reply Haskell - Haskell-Cafe
Re: Rank2Types example not typechecking w/ GHC8. Bug or feature? 0 replies GHC - devs
Re: TDNR without new operators or syntax changes 10 replies Haskell - Glasgow-haskell-users
Re: Magic classes for Overloaded Record Fields, overlaps, FunDeps 5 replies Haskell - Glasgow-haskell-users
Re: Is it safe to postulate () has one inhabitant? 2 replies Haskell - Haskell-Cafe
1234 ... 6