git.iko.soy/Idris-dev
on 07ea085 help sign in
07ea085Improve :t for names, rendering implicits and class constraintsEdwin Brady 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 f1e61daIf the goal is not a function type when elaborating \, invent one ...and attempt to solve it by unificationEdwin Brady b27ad3eEff note for the future...Edwin Brady fd9e0fbFix some INTERNAL ERRORs which aren't (non-function type, nothing to introduce) (And the crowd goes wild)Edwin Brady e3a4097Fix eta problemEdwin Brady 9822081IBC Version number bumpJan Bessai d479f4aImproved performance by not going through PQuote and doing less normalisationJan Bessai f174fd3Merge pull request #260 from hannesm/support-change-of-working-directoryEdwin Brady b65a0fbInclude reflection of the current goal in proofscript argumentsJan Bessai 8ce17c6Vim support for the new tactic keywordsJan Bessai 6440a7bRepaired effects library, less attacks in applyTacticJan Bessai c1a4eacFull TT reflection and reificationJan Bessai b68a1a7Flag to disable effectsJan Bessai 81865b4Remove type class argument restriction in parserEdwin Brady f31a70bMinor effects changes (locally, search depth)Edwin Brady 655a3a8Tweak linearity checker to deal with overloaded names properlyEdwin Brady 75e0141add command to change current directoryHannes Mehnert 7308d26Remove type class argument restriction in parserEdwin Brady 9cb4a83Minor effects changes (locally, search depth)Edwin Brady 83b7ae5Tweak linearity checker to deal with overloaded names properlyEdwin Brady 22001e5Merge pull request #258 from hannesm/reduce-code-duplicationEdwin Brady a029bd8reduce duplication by providing a show instance for CmdArgHannes Mehnert 9116870Merge pull request #257 from david-christiansen/providersEdwin Brady 90f661bMake dynamic library extension platform-dependentDavid Christiansen 7e3df2fMerge pull request #256 from david-christiansen/providersEdwin Brady 8435ba9Test for dynamic loading of C libs + interpreter IODavid Christiansen