git.iko.soy/Idris-dev
on master help sign in
history ofb6f8bdf..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 2035d6cUse native `atan2` function from backendAlex Queiroz