An implementation of Montague's PTQ (Proper Treatment of Quantification).
Why do you think that https://github.com/netom/haskell-postal is a good alternative to PTQ
An implementation of Montague's PTQ (Proper Treatment of Quantification).
Why do you think that https://github.com/netom/haskell-postal is a good alternative to PTQ