8c25808Merge pull request #297 from david-christiansen/proofutilsEdwin Brady14 years ago 2fc3c3aFix idris.cabal and base.ipkg to include Data.Vect.*Edwin Brady14 years ago ce39374Merge branch 'vect-quantifiers' of https://github.com/bitlisp/Idris-dev into bitlisp-vect-quantifiersEdwin Brady14 years ago be74d60Reflection utilitiesDavid Christiansen14 years ago 52b4e06Define Any/All quantifiers for VectBenjamin Saunders14 years ago 503f9e1Add bounded-length list typeDavid Christiansen14 years ago 4f63881Add Decidable.Decidable and Decidable.Order to base.ipkgEdwin Brady14 years ago d17df01Renamed Map and Set to SortedMap and SortedSetDaniel Waterworth14 years ago e287680Added bare bones implementations of maps and setsDaniel Waterworth14 years ago 0f49abcAdded first steps in type providersDavid Christiansen14 years ago a3cd5fdAdded typeclass for uninhabited typesDavid Christiansen14 years ago afd2d7fAdd inductive integersDavid Christiansen14 years ago 1898213Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady14 years ago 4187c57Add Catchable and IOExcept modulesEdwin Brady14 years ago b92b12eAdded typeclass for decidable equality plus instances for commonly-used datatypesDavid Christiansen14 years ago a9d6518Move bitstring stuff to Data to reduce potential for name clashesBenjamin Saunders14 years ago 5be5c84Delete obsoleted Data.WordBenjamin Saunders14 years ago aa8aefdAdd missing comma in base.ipkgBenjamin Saunders14 years ago 5734ddfBeginnings of generic machine integer supportBenjamin Saunders14 years ago bbbe563Merge pull request #114 from raichoo/wordEdwin Brady14 years ago f6451efword 8/16 primitive typesraichoo14 years ago 2f26fb2Add Debug.TraceEdwin Brady14 years ago e0d0b13added Data.Bits and primitives for Intraichoo14 years ago 11d1aa3Add Prelude.Function to module list in base.ipkgEdwin Brady14 years ago 2a536ecmoved morphisms to lib/Dataraichoo14 years ago 9e58e28Type safe message passing concurrencyEdwin Brady14 years ago bba84d5Added raw (non-typesafe) message passing library (System.Concurrency.Raw)Edwin Brady14 years ago 71a3efaLibrary now builds with "--total"Edwin Brady14 years ago 5c9a88auppercase modulenamesraichoo14 years ago f395de7simple arrowsraichoo14 years ago 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady14 years ago