git.iko.soy/Idris-dev
on a00e89b help sign in
a00e89bText.Parser.Core: mapToken conversion functionMichael Morgan f92ecd2Merge pull request #4190 from jfdm/fix-haddock-copyrightJan de Muijnck-Hughes 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes a4258cdMerge pull request #4189 from jfdm/fixup-ipkg-listingsJan de Muijnck-Hughes 38f826bTidy up iPKG module listings.Jan de Muijnck-Hughes f863dd2Merge pull request #4188 from jfdm/fix-docsJan de Muijnck-Hughes 4f94132Merge pull request #4187 from jfdm/fix-wl-lazinessJan de Muijnck-Hughes 1b15bb4update tutorial binary.Jan de Muijnck-Hughes 75b9608fix version numbers in listings.Jan de Muijnck-Hughes f8c2edfFix reST errors.Jan de Muijnck-Hughes 3292691provisional wasn't included in the index for the tutorial.Jan de Muijnck-Hughes b610a76removed unused index.Jan de Muijnck-Hughes 5e7d01cMerge pull request #4186 from jfdm/simple-test-suiteJan de Muijnck-Hughes e3a5c14Add a test to demonstrate fix of PrettyPrint performance.Jan de Muijnck-Hughes 127c949Fixes #4048. Add Laziness annotations.Jan de Muijnck-Hughes bb6f3abTidied up the ipkg listing.Jan de Muijnck-Hughes 28fc390Updated the changelog.Jan de Muijnck-Hughes 0cd1496Updated documentation and error reporting.Jan de Muijnck-Hughes 4e2b726A Simple Unit test suite for Idris.Jan de Muijnck-Hughes ac06bdfMerge pull request #4185 from ahmadsalim/feature/named-non-injective-implsAhmad Salim Al-Sibahi 249ff98Fix indentation of CHANGELOGAhmad Salim Al-Sibahi 8da55c2Add CHANGELOG entry and testAhmad Salim Al-Sibahi 6318168Ensure only injectivity if not namedAhmad Salim Al-Sibahi 683be9bFix linkAhmad Salim Al-Sibahi dad5728Merge pull request #4183 from idris-lang/faq/link-community-standardsAhmad Salim Al-Sibahi e57aee0Link community standardsAhmad Salim Al-Sibahi 743abd3Merge pull request #4180 from msmorgan/string-extra-accessAhmad Salim Al-Sibahi d2a3cf0Data.String.Extra: add missing access directiveMichael Morgan d6c48eeMerge pull request #4178 from joom/masterDavid Christiansen 2e0a1c8Add Functor implementation for FunClause and FunDefnJoomy Korkut f3dcca5Merge pull request #4176 from eraserhd/error-location-fixAhmad Salim Al-Sibahi 6ff9b7fMerge pull request #4174 from asandroq/fix-atan2Ahmad Salim Al-Sibahi e61c630Update changelog with changes for `atan2`Alex Queiroz b6f8bdfGet error location & message direct from parserJason Felice 2035d6cUse native `atan2` function from backendAlex Queiroz 774d1b6Merge pull request #4170 from eraserhd/megaparsecNiklas Larsson edfc5e3Add CHANGELOG messageJason Felice 64ee143Use NonEmpty.fromList instead of :|Jason Felice 01d70d7Rename to sexpJason Felice 08a89c6Fix test for Windows path separatorsJason Felice 4db8368Merge remote-tracking branch 'upstream/melted-patch-1' into megaparsecJason Felice aeb032aMerge remote-tracking branch 'upstream/master' into megaparsecJason Felice a0e585bSupport GHC 7.10Jason Felice febd4fafix PATHNiklas Larsson 713172eUse a modern ghc for appveyorNiklas Larsson 59d5c55Merge pull request #4160 from rbarreiro/random_stAhmad Salim Al-Sibahi f8dc338fixed doc and rndSelect to use NonEmpty instead of MaybeRui Barreiro 295ce57Remove unused language featuresJason Felice b0aacb5Merge remote-tracking branch 'upstream/master' into megaparsecJason Felice 9544b6fRun stylishJason Felice