../ base/Changed IOExcept to IOExcept' (with an FFI param) to work with the new FFI.11 years ago contrib/Move List quantifiers to base11 years ago effects/Added totality checks to Effects reordering functions and a %assert_total directive for dropEnv where I cannot figure out how to deal with the failing case (which I'm pretty sure is impossible).11 years ago oldeffects/Change library and expected test results for Float -> Double change11 years ago prelude/Change file operation names11 years ago pruviloj/Merge remote-tracking branch 'upstream/master' into shlevy-elab-lookup-function-def11 years ago MakefileLibrary of tactics for proof automation with Elab11 years ago