git.iko.soy/Idris-dev
on master help sign in
history of76ec3fe..master
compare
bfd93a2Merge pull request #2123 from melted/ignore_tweakDavid Christiansen 76da3a3Merge pull request #2131 from puffnfresh/bug/nix-buildDavid Christiansen 5c63ee3Fix disambiguation in dependent classesEdwin Brady dd5bd6fFix default for execonly and Nix buildBrian McKenna 5c6db8bTurn on optimisation for ParseExprEdwin Brady ceb7412Fix excessive backtracking when parsing typesEdwin Brady 7a8217aUse Set for boundNamesInEdwin Brady c3def79Rename Tactical to ElabDavid Raymond Christiansen 7d02904Progress towards defining functions in TacticalDavid Raymond Christiansen 9610fddMerge pull request #2128 from jfdm/docs/fix/effect-exampleJan de Muijnck-Hughes 267c62aUpdated effect exampleJan de Muijnck-Hughes fe6f0a0Merge pull request #2117 from lenary/partial-showCGEdwin Brady a273d83Add cabal.config to .gitignoreNiklas Larsson 2a883b9Type Providers mean we can't relax the signature of run__providerSam Elliott 8e112d7Added testssualitu e6c6b1bMerge pull request #2120 from melted/module_loadingDavid Christiansen 0603732Change the hard coding of the path separatorNiklas Larsson 46c3081Disable effects004 on js testsEdwin Brady 402080dDecorate lambda lifted namesEdwin Brady e9e74a6Forgot to commit effects004Edwin Brady 08af673Correct comment on sigEdwin Brady 7f9fba5Allow adding new effects in Eff programsEdwin Brady f9c3fd9Change disambiguation rules backEdwin Brady c3cdb9cTrying a new Effects apiEdwin Brady 5536314Merge pull request #2118 from japesinator/contains-holeDavid Christiansen da8b88ashow incomplete term holes for listy constructorsJP Smith 187730aAdd missing clause in showCGSam Elliott ea0ea47Fixes #1233 by spinning out content into separate repositories:Jan de Muijnck-Hughes c47608dDon't require expect for tests with timeoutsNiklas Larsson a6475a2Make a mechanism for os-dependent output of testsNiklas Larsson d2bcf5druntest.pl fix error when there is no sandboxHeather 7d2893eProgress towards defining functions in TacticalDavid Raymond Christiansen c74acaeMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen d79053dAdd *NZ functionsAndrew Cann 5804426Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 9c13628Merge branch 'master' into agda-style-recordssualitu 392123bAppend Char to Stringcchantep aa61056Replace the Foldable List instanceDavid Feuer 26dba59Mergesualitu 0269d05More record stuff.Sune Alkaersig 86bcbbcAllowed unnamed fields.Sune Alkærsig b9f0b7eFix build after rebaseAndrew Cann 465cc1cMake `div` and `mod` functions partial.Andrew Cann bbbe880Merged.Sune Alkærsig 4373184Added records to changelog.Sune Alkærsig 9596463Merge branch 'master' into agda-style-recordsSune Alkærsig 7d42ba2Changed tests for new record syntax.Sune Alkærsig 7e43af7Changed libs to new record syntax.Sune Alkærsig f36a8f7Revamped record elaboration.Sune Alkærsig cfd6dbcStart of defining functions in TacticalDavid Raymond Christiansen