git.iko.soy/Idris-dev
on master help sign in
history of718a040..master
compare
a6be726Control.Pipeline example usageLouis Pilfold 20569c5Control.PipelineLouis Pilfold a521cc4Fix the idris_time special case.Chris Ford c56feb8Merge pull request #3737 from ctford/mkFileErrorNiklas Larsson 05893dbMerge pull request #3738 from ctford/warn-on-missing-stylish-haskellNiklas Larsson 05ccaf3Abort if stylish-haskell is missing.Chris Ford 4317228Handle idris_mkFileError through a special-case.Chris Ford e019840Merge pull request #3734 from mheinzel/lib-documentation-typosAhmad Salim Al-Sibahi d52f83aFix typos etc. in String docsMatthias Heinzel e421169Merge pull request #3728 from david-christiansen/issue/3726David Christiansen 6e09d8fFlush output buffers in executorDavid Raymond Christiansen e371823Update version numbersv1.0Edwin Brady 40ae2c9Constructor saturation fixEdwin Brady 2c001c9Refresh the tutorialEdwin Brady 5fc838dFix whitespaceEdwin Brady cf5ab6bFix implementation argument checkEdwin Brady 3e4752fFix name decorationEdwin Brady 4c0acf6Fix negative number literal warningEdwin Brady 4a6974cFix ordering of patterns in conversion checkEdwin Brady d0a2180Merge pull request #3723 from reynir/patch-1Ahmad Salim Al-Sibahi ee47281Merge pull request #3722 from CarstenKoenig/patch-1Jan de Muijnck-Hughes 09ab243Update CONTRIBUTORSReynir Björnsson 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