4 ms·This was obviously coming, and it should be tuned to Haskell and Agdaby drumnerd 1y agoThis was obviously coming, and it should be tuned to Haskell and Agda