../ Door0.idrPurify Idris of "return"10 years ago Door1.idrPurify Idris of "return"10 years ago Door2.idrPurify Idris of "return"10 years ago Door3.idrPurify Idris of "return"10 years ago IOu.idrFaster processing of alternatives11 years ago expectedFaster processing of alternatives11 years ago runmake the tests respect the IDRIS env variable11 years ago