3 ms·Yep, thanks. But those nifty type holes…by lelf 13y agoYep, thanks. But those nifty type holes…tel 13y agoI haven't used them, but the day there's Agda in my haskell will be a good day.