272 followers
@ThouArtThat @ShaXinWei can pdf me that? this: https://t.co/BwGyWBmG27 this: https://t.co/dRlpK4hqNX this: https://t.co/d4KLjRwMGr but Mark van Atten's work is better than Haddock, imo (but paywalled): https://t.co/ZYnJjkrGaL MvA in detail: https://t.