3 ms·I haven't used them, but the day there's Agda in my haskell will be a good day.by tel 13y agoI haven't used them, but the day there's Agda in my haskell will be a good day.