It’s a yes from me for us to be using LaTeX, but I think it might be useful to
use lhs2TeX to generate the LaTeX.
lhs2TeX makes it possible for us to write literate Haskell files as the source
to the Report, which in turn allows us to type-check much of the code we write,
which is nice.
Best
I'm also at ICFP
On Tue, 5 Sep 2017 at 08:12 Henrik Nilsson
wrote:
> Hi!
>
> > We should coord a committee catch-up at icfp.
>
> Seems that at least a few people are/or will be here in Oxford.
> I counted:
>
> Carter Schonwald
> John Wiegley
>
Having Herbert as chair was also my understanding, and I'm very happy
for him to chair these discussions.
Nick
On 30 April 2016 at 09:38, Andres Löh wrote:
> It was my understanding that Herbert would be the chair when I asked
> to be on the committee, and the fact
Dear all,
I'd like to nominate myself for membership on the Haskell Prime committee.
I have used Haskell in industry, for teaching, and for research.
* I have been using Haskell since 2001.
* I am currently a university lecturer teaching Haskell to a cohort of
180 students.
* I actively use