2 ms·The part on quantifiers reminds me of point-free notation in Haskell. Not in a good way, either...by al2o3cr 9y agoThe part on quantifiers reminds me of point-free notation in Haskell. Not in a good way, either...