git.iko.soy/Idris-dev
on be22ac6 help sign in
be22ac6minor fixBlackBrane bf4e535Fix definition of FieldBlackBrane 2b258dbSplit numeric instances of algebraic classes into their own moduleBlackBrane e7d5ef1Split off VectorSpace, Lattice from Algebra moduleBlackBrane 0c7b417fix Sigma docstringBlackBrane 09a0a8dGuarantee coherence of Ord in SortedMap/SetEdwin Brady bedca84Merge pull request #2106 from melted/great_expectationsDavid Christiansen dbc767bMerge pull request #2110 from melted/variable_expectationsDavid Christiansen b8a3f7eMerge pull request #2116 from lenary/relax-io-typesDavid Christiansen 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 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 76ec3feRevert changes to call__IO to fix JS BackendSam Elliott 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 674459bType Signatures use IO' l where they can instead of IOSam Elliott 927fc19Prune proof searchEdwin Brady c47608dDon't require expect for tests with timeoutsNiklas Larsson 03c2672Merge pull request #2097 from melted/fix_ffi006David Christiansen 1e719ceMerge pull request #2104 from japesinator/nothing-foundDavid Christiansen 018ad5bMerge pull request #2109 from melted/reslashDavid Christiansen a6475a2Make a mechanism for os-dependent output of testsNiklas Larsson 263510cForgot CHANGELOG again...Edwin Brady 5d269e3:exec can take an expression as an argumentEdwin Brady a2b3c79Minor change to disambiguation rulesEdwin Brady 05a859dHTML path slashes are always '/'.Niklas Larsson e643ef6Don't hardcodee 'cc' as the compilerNiklas Larsson d89af9ccleaned up redundant 'if'JP Smith 2e919c8Merge pull request #2079 from melted/toolchainDavid Christiansen 5f0dbd7clarify failing searchesJP Smith 2ad80e8Add docs and changelog entry for bundled toolchainNiklas Larsson