../ 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/Revert "Added deleteAt, replaceAt and insertAt for Lists"11 years ago pruviloj/Add derivation of DecEq to Pruviloj11 years ago MakefileLibrary of tactics for proof automation with Elab11 years ago