Re: Alternative to importing GHC.TypeLits?

2017-03-31 Thread Iavor Diatchki
Hi, the initial plan was that `GHC.TypeLits` should provide just the basic functionality, and later other libraries would be build to provide more convenient functions for specific applications. I don't know of any such convenience libraries, so at present, people just import `GHC.TypeLits`

Alternative to importing GHC.TypeLits?

2017-03-31 Thread Chris Martin
The GHC manual gives code examples that import GHC.TypeLits. The documentation on that module seems to request that users /not/ import it ... > This module is an internal GHC module. [...] The programmer interface for working with type-level naturals should be defined in a separate library. ...

[Haskell] 1st Call for papers: FHPC 2017

2017-03-31 Thread Jost Berthold
== CALL FOR PAPERS FHPC 2017 The 6th ACM SIGPLAN Workshop on Functional High-Performance Computing Oxford,

[Haskell] PPDP 2017: Call For Papers

2017-03-31 Thread Brigitte Pientka
CALL FOR PAPERS 19th International Symposium on Principles and Practice of Declarative Programming PPDP 2017 Namur, Belgium, October 9-11,