4 ms·If I recall, defer-type-errors is in 7.6, tooby tel 13y agoIf I recall, defer-type-errors is in 7.6, toolelf 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.