Comment Comment by davidjones332 "the Haskell road to logic and mathematics" parent davidjones332 3 years ago