2 ms·Is Idris 2's linearity the same as Haskell's in this respect?by senorsmile 6y agoIs Idris 2's linearity the same as Haskell's in this respect?platz 6y agoyes