Updates for current Idris