git.iko.soy/Idris-dev
on d552eef help sign in
d552eefadded hint to get around build failures due to old ibc filesCarsten König 44035acMerge pull request #3717 from jfdm/bump-for-lts-inclusionJan de Muijnck-Hughes 149fa6fBumped bounds on packages required for LTS Haskell inclusion.Jan de Muijnck-Hughes 52686c8Merge pull request #3714 from jfdm/update-stackageJan de Muijnck-Hughes a11b187Updated to latest LTS HaskellJan de Muijnck-Hughes 4b21484Merge pull request #3710 from jfdm/improve-console-ioJan de Muijnck-Hughes 106e974Add Char operations to ConsoleIO and print functions.Jan de Muijnck-Hughes 937c707Update version numbersv0.99.2Edwin Brady be55376Fix for size change graph constructionEdwin Brady 9302ac5Add stdint.h headerEdwin Brady 3629548Fix implicits under rewriteEdwin Brady 4a10e27Add Data.BufferEdwin Brady c15b95dSmall CHANGELOG editEdwin Brady 398c427Fix a couple of typos in ST docsEdwin Brady 18108feFix a couple of types in ST tutorialEdwin Brady e0592eaFix URL for "State machines all the way down"Edwin Brady ef3c9d7Add note on Effects to ST tutorialEdwin Brady 5bdfc89Add network example to ST tutorialEdwin Brady 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