../ Classes/Changed scoping rules for unbound implicits.11 years ago Control/Changed scoping rules for unbound implicits.11 years ago Data/Fix proof script deprecation warnings11 years ago Decidable/Merge remote-tracking branch 'upstream/master' into library-reorg12 years ago Network/Merge remote-tracking branch 'refs/remotes/upstream/master' into agda-style-records11 years ago System/Check messages are passed to active VMs11 years ago MakefileInitial reorganization into contrib12 years ago contrib.ipkgSeparate numeric/algebraic matrix ops from basic matrix functions11 years ago