• Propositional function code from Haskell Road text https://fldit-www.cs.tu-dortmund.de/~peter/PS07/HR.pdf 3 comments 17/2/2025 haskell