git.iko.soy/Idris-dev
on a674540 help sign in
a674540Add section on composing state machinesEdwin Brady a89330eChange meaning of 'data' in interfacesEdwin Brady 92bac30Add to ST tutorial for Control.ST.callEdwin Brady 8049f5dNo need for labels to be polymorphic in STEdwin Brady 2569154Describe implementation of DataStoreEdwin Brady 662e247Add ST tutorial section on DataStore interfaceEdwin Brady 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