c8a4b7aTypo in tutorialpkel10 years ago 823a155Zipper implementation for ListsMarkus Klink10 years ago 5e85ce3part 2 of FORCE_ALIGNMENT fix for arduino targets.XeFias10 years ago ab87db1part 2 of FORCE_ALIGNMENT fix for arduino targets.XeFias10 years ago d2a81f5part 2 of FORCE_ALIGNMENT fix for arduino targets.XeFias10 years ago 376db08Implement second part of FORCE_ALIGNMENT fix for arduino targets.XeFias10 years ago 12a8909Import dependencies in Atomallancto10 years ago 9b372d8add Network/Socket/Data.idrPoroCYon10 years ago 2383614rearrange stuffPoroCYon10 years ago b817debexport socket internals in Network.Socket.RawPoroCYon10 years ago 58fc44eMerge branch 'master' of https://github.com/idris-lang/Idris-devSaurabh Rawat10 years ago dcd1864fixed importSaurabh Rawat10 years ago dd7651eStarted work on Data.MonoidSynthetica910 years ago e62dcbaFix rangeSaurabh Rawat10 years ago c9883e6Used So instead of =Saurabh Rawat10 years ago e29c669Added documentation, fixed formattingSaurabh Rawat10 years ago 13449b5Restrict System.usleep intervalSaurabh Rawat10 years ago 6d9659cMerge remote-tracking branch 'origin/master' into stylish-travisEcho Nolan10 years ago 0fec73cFix typo, make stylize.sh work when a dist directory existsEcho Nolan10 years ago 7ac40afStylish changes since this PR was originally submittedEcho Nolan10 years ago a6f2eb7Make it possible to run stylish script from makeEcho Nolan10 years ago f8e3df0Rename check-stylish.sh and make it a bit more user friendly.Echo Nolan10 years ago aea713dUse Stack to build stylish-haskell in CIEcho Nolan10 years ago cacab43Formatting in Idris.Parser.ExprEcho Nolan10 years ago e7e9a7fConvert tabs to spaces in stylishEcho Nolan10 years ago 25c94dfStylize TravisEcho Nolan10 years ago b5d05d6Stylize Idris.Parser.ExprEcho Nolan10 years ago 3fc435fTurn on some LANGUAGE pragmas to make stylish-haskell happy.Echo Nolan10 years ago