../ base/Tidy up accessibility proofs in views11 years ago contrib/Move Accessible to Prelude11 years ago effects/Replace EffElem with Data.List.Elem11 years ago oldeffects/Change library and expected test results for Float -> Double change11 years ago prelude/Add some Quotable implementations (#3104)11 years ago pruviloj/Generalize the types of mkApp and unApply11 years ago MakefileLibrary of tactics for proof automation with Elab11 years ago