2 ms·
Speaking of "rest of", this is the file in question: https://github.com/idris-lang/Idris2/blob/master/src/Idris/Env.idr#L47 https://github.com/idris-lang/Idris
by ricree 6y ago
Speaking of "rest of", this is the file in question:
https://github.com/idris-lang/Idris2/blob/master/src/Idris/Env.idr#L47 https://github.com/idris-lang/Idris2/blob/master/src/Idris/E...