[Haskell] PhD position

** *** PhD Position *** *** Categories, Coalgebras and Types *** *** Mathematically Structured Programming Group *** University of Strathclyde ***

Re: Avoid blank line separating code and comments in Bird style?

At Wed, 14 Jan 2015 18:12:31 +0100, Andres Löh wrote: Hi everyone. I think invoking GHC(i) with -optL-q might work. Solved my problem! My thanks to you Andres (and to Mateusz and Richard also). Cheers, Andres Sidhu ___

Re: Avoid blank line separating code and comments in Bird style?

I think the underlying problem here is that there is a difference between literate comments and normal comments. In a bird-style literate Haskell file, this is what I'll call a literate comment: ~~~ A line with no marker at the beginning ~~~ A normal comment is in a line of Haskell code, put

[Haskell] TYPES 2015 call for contributions

CALL FOR CONTRIBUTIONS 21st International Conference on Types for Proofs and Programs, TYPES 2015 Tallinn, Estonia, 18-21 May 2015 http://cs.ioc.ee/types15/ Background The TYPES meetings are a forum to

Re: Avoid blank line separating code and comments in Bird style?

At Wed, 14 Jan 2015 10:55:41 -0500, Richard Eisenberg wrote: I think the underlying problem here is that there is a difference between literate comments and normal comments. In a bird-style literate Haskell file, this is what I'll call a literate comment: ~~~ A line with no marker at