Just flicking through, spotted this. It's still pretty much true (the book was published in 1984).
I should add that, don't worry, we're not breaking lockdown rules here, we're just doing our Scottish citizenship exercises.
Dear LazyWeb: I'm trying to get the latest LIPIcs LaTeX template (https://submission.dagstuhl.de/documentation/authors#) to work, but it complains "Package kvsetkeys Error: Undefined key `pdfpublisher'".
Anyone else encountered this? I'm hoping to solve the problem without, say, upgrading my entire OS.
Just in case anyone else wants to tell me about this, don't worry, I know :). I'm looking forward to seeing what they do with it!
I hope Idris is coping okay with lockdown.
Not everything needed rescuing, at this point. I can probably manage without some of these for a while.
That's an Idris unsafePerformIO, not a Haskell one... I wonder who I was corrupting, and why.
Anyone interested in studying for a PhD? We have funded positions available in St Andrews for a September 2021 start. Details here: https://blogs.cs.st-andrews.ac.uk/csblog/2020/12/08/phd-scholarships-in-computer-science/
Let me know if you're interested in doing something related to dependently typed functional programming.
Incidentally, "not paying attention to twitter" is my favourite new hobby. Really good for my mood. I highly recommend it.
If I'd been paying attention to either twitter or my email, I'd have realised that Type Driven Development with Idris was part of @ManningBooks Deal of the Day today: https://www.manning.com/dotd
There's still time though! Download it while stocks last!
My latest record is called "The Document Object Model". I hope it'll be a hit.
I'm happy to be a designer of a "Toy language". I like toys, they're fun.
CS Lecturer at University of St Andrews
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!