git.iko.soy/Idris-dev
on bb58fa6 help sign in
bb58fa6Add 'remove' for naming consistencyEdwin Brady 46c0d92Start ST tutorialEdwin Brady 601bef0Finish Ctxt->Res updateEdwin Brady b5ea205Add 'returning' to Control.STEdwin Brady 698705eAdd putStrLn to Control.ST for ConsoleIOEdwin Brady 195ad13Add 'update' for State in STEdwin Brady bce80e0Rename Context->Resources in STEdwin Brady 041b80bMerge pull request #3706 from jfdm/only-specify-installed-ipkgsJan de Muijnck-Hughes 088360fUpdated CHANGELOG and tests.Jan de Muijnck-Hughes 71b49d3Refuse to work if listed packages are not installed.Jan de Muijnck-Hughes 674c214Merge pull request #3699 from jfdm/allow-highlightAhmad Salim Al-Sibahi 95d226fFix a proof of VoidEdwin Brady e64d8f0Allowed `--highlight` in pkg commands.Jan de Muijnck-Hughes 9bb3386Merge pull request #3705 from Synthetica9/patch-2Ahmad Salim Al-Sibahi f5eaf88Tiny doc fixSynthetica9 ebb4feeUpdate ST error reflection for STransLoopEdwin Brady e1f094bAllow more context manipulation in STEdwin Brady b1ba8cdAdd looping control to Control.STEdwin Brady 89ca106Remove pattern variables from size change graphsEdwin Brady b8b447fCareful when expanding dsl notationEdwin Brady 55a8e1fFix 'interp' sampleEdwin Brady 8cb71c3Merge pull request #3698 from RyanGlScott/regression-testAhmad Salim Al-Sibahi 183f533Deal with ambiguity in impossible clausesEdwin Brady 3f0d399Add regression test for #3651.Ryan Scott c5be396Another scoped implicit fixEdwin Brady c37ab25Merge pull request #3696 from RyanGlScott/masterAhmad Salim Al-Sibahi 4ade674Fix disambiguation on LHSEdwin Brady 2debf36Use offset for substr if possibleEdwin Brady ce5e330Add StringBuffer to Prelude.StringsEdwin Brady 052f563Also look for nodejs in addition to node in the testsuiteRyan Scott eed3117Take some more care with forcingEdwin Brady d3fa352Fix typo in effects tutorialEdwin Brady b32d5e0Merge pull request #3676 from jmitchell/fix/master/bits-to-hex-and-binEdwin Brady bf184d2Merge pull request #3690 from rahulmutt/docs-fixEdwin Brady 0734826Allow explicit arguments for scoped implicitsEdwin Brady b7cf1ecFix delab of scoped implicitsEdwin Brady 3dc90d3Fix for implicits in recordsEdwin Brady 060c734Fix layout for stylishEdwin Brady f281f3cFix variable elaborationEdwin Brady 73bf32dModule Dependencies Using Atom should be a sub-headingRahul Muttineni d205b18Fix module headerEdwin Brady 1487832Add Control.ST.ExceptionEdwin Brady 51e26c4Add runAs to Control.STEdwin Brady 3072e8cCatchable determining argumentsEdwin Brady 22316a4Merge pull request #3685 from jfdm/bump-stackJan de Muijnck-Hughes 6404f9bAdd regression testEdwin Brady ad016d9Termination check fix for 'Inf'Edwin Brady ffc5cfaIdris builds against LTS Haskell 8.04.Jan de Muijnck-Hughes d1f3be2Use conversion errors in coverage checkEdwin Brady e4c3f0cMerge pull request #3682 from david-christiansen/issue/elab-recheckDavid Christiansen