../ base/Change Instance to implementation (#3404)10 years ago contrib/Change Instance to implementation (#3404)10 years ago effects/Use interface instead class or type class in documentations (#3379)10 years ago oldeffects/Change Instance to implementation (#3404)10 years ago prelude/Fix deprecation warning in Language.Reflection10 years ago pruviloj/Change Instance to implementation (#3404)10 years ago MakefileLibrary of tactics for proof automation with Elab11 years ago