Skip to content
Branch: master
Find file History
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
Algebra.idr Minor cleanup Jul 4, 2018
Applicative.idr adjust fixities of common operators Oct 27, 2017
Basics.idr adjust fixities of common operators Oct 27, 2017
Bits.idr Remove deprecated functions in Prelude.Bits Nov 10, 2017
Bool.idr Correcting typo in documentation Jan 15, 2019
Cast.idr Improve implementation of toIntNat Jun 17, 2017
Chars.idr
Doubles.idr
Either.idr add eitherToMaybe Jul 20, 2018
File.idr Fix file handle leaks and simplify code Aug 13, 2019
Foldable.idr Typo in docs for Foldable. (#3394) Aug 30, 2016
Functor.idr Move `ignore` to Prelude.Functor Feb 17, 2018
Interactive.idr Fix typo Mar 22, 2018
Interfaces.idr Remove old eliminator generation and induction tactic (#4351) Feb 25, 2018
List.idr Merge pull request #4586 from bossmc/master Nov 19, 2018
Maybe.idr Add 'Ord' instance to 'Maybe' Mar 19, 2018
Monad.idr Remove deprecated names from Prelude.Monad. Nov 13, 2017
Nat.idr Remove old eliminator generation and induction tactic (#4351) Feb 25, 2018
Pairs.idr Removal of deprecated functions for Pairs. Nov 10, 2017
Providers.idr Deprecate flatten. Feb 12, 2016
Show.idr Prelude.Bits: clarify serialization of BitsX for X={8,16,32,64} Mar 5, 2017
Stream.idr Name edits in Stream Jun 12, 2016
Strings.idr newBuffer should return a managed pointer Jul 30, 2018
Traversable.idr Comments in Prelude.Traversable Jul 22, 2016
Uninhabited.idr Change export qualifier keywords Jan 29, 2016
WellFounded.idr Add implementation of Sized for Pair type Jul 30, 2018
You can’t perform that action at this time.