../ Classes/Comment out VerifiedField and subclasses for now12 years ago Control/Merge branch 'until' of https://github.com/mrmonday/Idris-dev into mrmonday-until12 years ago Data/Add inductive divMod to contrib, move the wellfounded one11 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-records12 years ago System/Check messages are passed to active VMs11 years ago MakefileInitial reorganization into contrib12 years ago contrib.ipkgAdd inductive divMod to contrib, move the wellfounded one11 years ago