../ base/Tidy up name warnings in Prelude11 years ago contrib/Changed scoping rules for unbound implicits.11 years ago effects/Merge pull request #2715 from cmcl/fix-effect-comment11 years ago oldeffects/Address semantic differences in putting things to STDOUT.12 years ago prelude/Tidy up name warnings in Prelude11 years ago pruviloj/Simplifications to Elab11 years ago MakefileLibrary of tactics for proof automation with Elab11 years ago