The Haskell road to logic, math and programming. ~ Kees Doets, Jan van Eijck (2004). https://fldit-www.cs.tu-dortmund.de/~peter/PS07/HR.pdf #Haskell #FunctionalProgramming #Loggic #Math
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.