git.iko.soy/Idris-dev
on 08e9182 help sign in
history oflib/base.ipkg
all commits
dee61dfAdded typeclass for uninhabited typesDavid Christiansen afd2d7fAdd inductive integersDavid Christiansen 1898213Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 4187c57Add Catchable and IOExcept modulesEdwin Brady b92b12eAdded typeclass for decidable equality plus instances for commonly-used datatypesDavid Christiansen a9d6518Move bitstring stuff to Data to reduce potential for name clashesBenjamin Saunders 5be5c84Delete obsoleted Data.WordBenjamin Saunders aa8aefdAdd missing comma in base.ipkgBenjamin Saunders 5734ddfBeginnings of generic machine integer supportBenjamin Saunders bbbe563Merge pull request #114 from raichoo/wordEdwin Brady f6451efword 8/16 primitive typesraichoo 2f26fb2Add Debug.TraceEdwin Brady e0d0b13added Data.Bits and primitives for Intraichoo 11d1aa3Add Prelude.Function to module list in base.ipkgEdwin Brady 2a536ecmoved morphisms to lib/Dataraichoo 9e58e28Type safe message passing concurrencyEdwin Brady bba84d5Added raw (non-typesafe) message passing library (System.Concurrency.Raw)Edwin Brady 71a3efaLibrary now builds with "--total"Edwin Brady 5c9a88auppercase modulenamesraichoo f395de7simple arrowsraichoo 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady