git.iko.soy/Idris-dev
on dfbb3db help sign in
dfbb3dbUpdated bounded listsDavid Christiansen 503f9e1Add bounded-length list typeDavid Christiansen 6a33c4dMerge pull request #289 from david-christiansen/multiple-dyn-libsEdwin Brady 7b8ce28Enable alternate names for shared librariesDavid Christiansen 6db701eMerge branch 'providers-io-rewrite' of https://github.com/david-christiansen/Idris-dev into david-christiansen-providers-io-rewriteEdwin Brady 3caba45Undo earlier fix for RTS linking due to Mac OS incompatibilityDavid Christiansen 4bb701bMerge pull request #284 from andy-morris/hyptrigEdwin Brady e7b435aMerge pull request #283 from andy-morris/addproofEdwin Brady b4d856aMerge pull request #282 from JanBessai/DecidableOrderEdwin Brady 443b173Don't normalize terms before executing when elaborating type providersDavid Christiansen 3d38d42Fix applications of applications in executorDavid Christiansen 18fbb2fCode simplification for bindingsDavid Christiansen 4c1db81Laziness fix in case analysisDavid Christiansen cf75f6eFix laziness of 'lazy'David Christiansen 9792d64Code cleanup + primitivesDavid Christiansen d2cec77More and better primitivesDavid Christiansen f387ef0Code cleanupsDavid Christiansen ef18fedFix reading filesDavid Christiansen 0250ca6Test for simple file-based type providersDavid Christiansen b82cec2Fixed testDavid Christiansen 40208c4Merge remote-tracking branch 'upstream/master' into providersDavid Christiansen 173e357Better laziness behavior, still a bit off with IODavid Christiansen 790a7ecReplace term as intermediate representation with HOAS ExecVal.David Christiansen 2a17e4fFix scoping rules on lhs of with clauseEdwin Brady e27f212sinh, cosh, tanhAndy Morris c568438Laziness and primitives improvementsDavid Christiansen b272c78If "F" doesn't exist, :addproof checks "F.idr" as wellAndy Morris c1d200dAdded always/Given as a non boolean equivalent for oh/soJan Bessai 75e5a39Converted Preorder and Poset to typeclassesJan Bessai 437526aUpdate version number in tutorialEdwin Brady 809683bDon't allow unification problems to be introduced in :p modeEdwin Brady 4f63881Add Decidable.Decidable and Decidable.Order to base.ipkgEdwin Brady fdb1a40Merge branch 'DecidableOrder' of https://github.com/JanBessai/Idris-dev into JanBessai-DecidableOrderEdwin Brady 1b44c18Merge branch 'maps_and_sets' of https://github.com/DanielWaterworth/Idris-dev into DanielWaterworth-maps_and_setsEdwin Brady d17df01Renamed Map and Set to SortedMap and SortedSetDaniel Waterworth e12ef39Generalization of Decidable general axioms for Preorders and Posets instance for less-than-equal on NatJan Bessai 9b3f202Fix :t for metavariables Fixes issue #280Edwin Brady e287680Added bare bones implementations of maps and setsDaniel Waterworth 6857a2cMake 'count' partial/abstract to prevent compile-time reduction Deals with issue #171Edwin Brady 63263f7More primitivesDavid Christiansen 071b834Move parsing of comprehensions Fixes issue #178Edwin Brady 442d8c8Fix parameter identification in data declarations Fixes issue #259Edwin Brady 78fa258Added primitivesDavid Christiansen 02fa360Moved execution into custom monadDavid Christiansen d1e450fPrint Nats as numeralsAndy Morris bc8d3adRepl prints listy things with sugarAndy Morris 00ae7feMerge branch 'master' into providersDavid Christiansen 43d915dMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 07ea085Improve :t for names, rendering implicits and class constraintsEdwin Brady 200475fMerge pull request #276 from david-christiansen/lookupsEdwin Brady