git.iko.soy/Idris-dev
on 8ede2ea help sign in
8ede2eauninhabited instance for (S n = Z)Alex Gryzlov 9e1c9a3Merge pull request #4127 from asandroq/fix-strconsNiklas Larsson a3d0a3aFix tests for ASCII characters in RTS (#3767)Alex Queiroz 172924cMerge pull request #4125 from edmundsmith/issue4122Ahmad Salim Al-Sibahi b117f9fMerge pull request #4126 from lambda-11235/add-contrib-nameNiklas Larsson f670667Added my name (Taran Lynn) to CONTRIBUTORS.Taran Lynn 9742bacFixed readSecret to correctly read storeEdmund Smith d6be621Merge pull request #4121 from eraserhd/prefix-sectionsAhmad Salim Al-Sibahi e10b6f6Exclude custom prefix operators from sectionsJason Felice 19624c7Support backticked operators in sections (#4119)Jason Felice ecc97b5Merge pull request #4120 from Synthetica9/patch-2Ahmad Salim Al-Sibahi e5334eaTiny fix in the tutorial on default implicitsPatrick Hilhorst ca86196Merge pull request #4118 from rbarreiro/random_stAhmad Salim Al-Sibahi b65122arandom numbers for STRui Barreiro 1be3ed7Merge pull request #4116 from Synthetica9/CombinatorsAhmad Salim Al-Sibahi 1eae8f5Merge pull request #4026 from vincenthz/pkgname-abstractionAhmad Salim Al-Sibahi 4d249aeupdate CHANGELOG with the package name restrictionVincent Hanquez d0a6712fix stylize issuesVincent Hanquez 0b7b908Reflected changes in contrib.ipkgSynthetica9 23b7284Added various combinators, most of which are also present in HaskellSynthetica9 4878fe4Allow upper case letter in package name and only normalize for equality and on diskVincent Hanquez d75c5baMerge pull request #4114 from joom/masterNiklas Larsson a122109Merge pull request #4115 from joom/statetAhmad Salim Al-Sibahi 897eaa8Update changelogJoomy Korkut d281e66Add Alternative implementation for StateTJoomy Korkut 4f1f462Fix LaTeX pretty printing of backslash, braces and percentJoomy Korkut 4e00dc2Merge pull request #4112 from vaibhavsagar/update-stack-shellAhmad Salim Al-Sibahi ee4b84bMerge pull request #4110 from ahmadsalim/fix/removeoldeffectsAhmad Salim Al-Sibahi aabe0e4fix stylize issuesVincent Hanquez 8f7c6a9Allow to construct a PkgName only with a valid package nameVincent Hanquez f732f9dIntroduce a PkgName abstraction to represent package name instead of StringVincent Hanquez 613aff2Refactor stack-shell.nix to use buildStackProjectVaibhav Sagar 03f741eRemoved `oldeffects`Ahmad Salim Al-Sibahi 7081ff0Merge pull request #4106 from msmorgan/feature/isSuccAhmad Salim Al-Sibahi 4304a0aMerge pull request #4108 from vaibhavsagar/update-stack-shell-nixAhmad Salim Al-Sibahi acb198dUpdate resolver to match current version of GHCVaibhav Sagar 7b9be7eadd CHANGELOG entry for IsSuccMichael Morgan 42783aePrelude.Nat: add decision procedure for IsSuccMichael Morgan 92ed2d7Prelude.Nat: add IsSucc predicate typeMichael Morgan d656534Merge pull request #4091 from jdevuyst/fix-issue-4090Ahmad Salim Al-Sibahi c3113e7Merge pull request #4101 from rbarreiro/js_iorefAhmad Salim Al-Sibahi ecc7bebMerge branch 'master' into js_iorefRui Barreiro b86a298included JS_IO in IORef changelogRui Barreiro 01fdc75added c test using modifyIORef'Rui Barreiro 526a39fAdd myself to CONTRIBUTORSJonas De Vuyst df51213Implement primitiveNotEq using really_believe_me (not postulate)Jonas De Vuyst 4c19d46added javascript test for IORefRui Barreiro 7e957d8Merge pull request #4032 from msmorgan/feature/morphism-castsAhmad Salim Al-Sibahi 48a8923Data.Morphisms: add casts between morphisms where possibleMichael Morgan c97bf3fMerge pull request #4040 from msmorgan/feature/correlative-operatorsAhmad Salim Al-Sibahi