git.iko.soy/Idris-dev
on master help sign in
history of08a89c6..master
compare
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