git.iko.soy/Idris-dev
on 4bb701b help sign in
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 2a17e4fFix scoping rules on lhs of with clauseEdwin Brady e27f212sinh, cosh, tanhAndy Morris 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 071b834Move parsing of comprehensions Fixes issue #178Edwin Brady 442d8c8Fix parameter identification in data declarations Fixes issue #259Edwin Brady d1e450fPrint Nats as numeralsAndy Morris bc8d3adRepl prints listy things with sugarAndy Morris 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 a807a34Remove the unused arg from lookup functionsDavid Christiansen 649330fMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 03f962aDisallow laziness annotations below top level (since they don't work there) Handles issue #263Edwin Brady 17b9f43Merge pull request #274 from jhenahan/masterEdwin Brady 0881704Merge branch 'fixWin' of https://github.com/melted/Idris-dev into melted-fixWinEdwin Brady c4b7e56Merge pull request #271 from andy-morris/p_strLenEdwin Brady 35096cfMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady bb54695Merge pull request #270 from JanBessai/EffectfulMemoryOperationsEdwin Brady baff441whoops, accidentally rolled back some of the new syntaxJack Henahan 57a4d6aMerge pull request #1 from bytbox/patch-1: use 'setlocal' instead of 'set' in idris.vimJack Henahan 5a81f99Implement dynamic linking on WindowsNiklas Larsson c328454Fix missing case in Idris.Primitives.p_strLenAndy Morris 8624d06Fix collapsibility bugEdwin Brady e294e0eProper initialization semantics for raw memoryJan Bessai b6effdbMade do_poke privateJan Bessai 22d09c9Test fixedJan Bessai 441d941An effect to allocate and manipulate memoryJan Bessai d1cb783Merge pull request #267 from LeifW/get_rid_of_unicode_in_sourceEdwin Brady 1abf366Remove the unicode from the source files.Leif Warner 34506e9Hack to parse big integer constants without overflow But we still need fromInteger to do the right thingEdwin Brady 73477a7Merge pull request #265 from JanBessai/IntegerParsingEdwin Brady 477820aParsing for Big Integer constants fixedJan Bessai 25aef32Merge pull request #264 from david-christiansen/providers-errorsEdwin Brady ea6bb9aMerge branch 'ImprovedReflection' of https://github.com/JanBessai/Idris-dev into JanBessai-ImprovedReflectionEdwin Brady 9af2d93Add type provider errors + test caseDavid Christiansen