git.iko.soy/Idris-dev
on 308efea help sign in
308efeaFriendly smart constructors for foreign integer typesBenjamin Saunders fadeecdFix Core.Execute to use IRTS.Lang.FTypeBenjamin Saunders b1a9e75Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitivesBenjamin Saunders 943b653Merge branch 'MixingImplicitArgs' of https://github.com/JanBessai/Idris-dev into JanBessai-MixingImplicitArgsEdwin Brady 8c25808Merge pull request #297 from david-christiansen/proofutilsEdwin Brady c8ba164Merge pull request #296 from david-christiansen/sqliteEdwin Brady 1f562fcMerge pull request #295 from david-christiansen/boundedlistEdwin Brady 2fc3c3aFix idris.cabal and base.ipkg to include Data.Vect.*Edwin Brady ce39374Merge branch 'vect-quantifiers' of https://github.com/bitlisp/Idris-dev into bitlisp-vect-quantifiersEdwin Brady dfe8de8Merge pull request #292 from raichoo/javascriptEdwin Brady df64a42Merge pull request #291 from raichoo/masterEdwin Brady a0308f1Parser improvement to allow mixing of implicit and non implicit ArgumentsJan Bessai 18da492Minor formatting and readability updatesDavid Christiansen eee4731Minor style and readability updatesDavid Christiansen 979be1fFormatting improvementsDavid Christiansen be74d60Reflection utilitiesDavid Christiansen 8b7db47Linux compatibility and Idris updatesDavid Christiansen dfbb3dbUpdated bounded listsDavid Christiansen 2572b10Parameterized integer FFIBenjamin Saunders 321b8fdReduce redundancy across integer operationsBenjamin Saunders 52b4e06Define Any/All quantifiers for VectBenjamin Saunders 019aea7Add Not definitionBenjamin Saunders dd35175javascript: fix ptr handlingraichoo 8af32d4squash potential space leaks by using strict foldlraichoo d52534cMerge pull request #290 from david-christiansen/boundedlistEdwin Brady 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