4 ms·"the Haskell road to logic and mathematics"by davidjones332 3y ago"the Haskell road to logic and mathematics"