Quantcast
José Pedro Magalhães
José Pedro Magalhães
Unregistered User
Groups: Anyone
Posts in Haskell
12345 ... 12
Show   Total: 227 items
Date Subject Count Location
Re: Navigating 'Strategic' programming babel 2 replies Haskell - Haskell-Cafe
Re: How is default method signatures supposed to be used together with Generics 0 replies Haskell - Haskell-Cafe
Re: Variable-arity zipWith (re)invented. 0 replies Haskell - Haskell-Cafe
Re: proposal: separate lists for ghc-cvs commits and ghc-dev chatter 0 replies Haskell - Glasgow-haskell-users
Re: [Haskell] ANN: time-1.4.0.2 0 replies Haskell - Libraries
Re: [Haskell] ANN: time-1.4.0.2 2 replies Haskell - Libraries
Re: Promoted types accepted without language extensions 0 replies Haskell - Glasgow-haskell-users
Re: RFC: Can DefaultSignature compile-time conditional APIs be regarded "benign"? 0 replies Haskell - Libraries
Re: RFC: Can DefaultSignature compile-time conditional APIs be regarded "benign"? 4 replies Haskell - Libraries
Re: Generating random type-level naturals 0 replies Haskell - Glasgow-haskell-users
Re: Changes to Typeable 0 replies Haskell - Libraries
Kind refinement in type families with PolyKinds 4 replies Haskell - Glasgow-haskell-users
Re: Changes to Typeable 0 replies Haskell - Libraries
Using GHC.TypeLits and singletons 1 reply Haskell - Glasgow-haskell-users
Re: Changes to Typeable 4 replies Haskell - Libraries
Re: [Security] Put haskell.org on https 0 replies Haskell - Haskell-Cafe
Re: Problems translating Conor McBride's talk into Haskell + DataKind + KindPoly 0 replies Haskell - Haskell-Cafe
Re: [Haskell-cafe] Problems translating Conor McBride's talk into Haskell + DataKind + KindPoly 0 replies Haskell - Glasgow-haskell-users
Re: Type-directed functions with data kinds 0 replies Haskell - Haskell-Cafe
Proposal: EPHEMERAL pragma 8 replies Haskell - Glasgow-haskell-users
12345 ... 12