[ol10_u1_developer_EPEL] idris2-0.7.0-4.el10_1.aarch64

Idris is a programming language designed to encourage Type-Driven Development.

Filelist (Show Changelog) (Show related packages)

• /

  • usr

    • bin

      • idris2

    • lib64

      • idris2-0.7.0

        • base-0.7.0

          • 2023090800

            • Control

              • App

                • Console.so

                • Console.ttc

                • Console.ttm

                • FileIO.so

                • FileIO.ttc

                • FileIO.ttm

              • App.so

              • App.ttc

              • App.ttm

              • Applicative

                • Const.so

                • Const.ttc

                • Const.ttm

              • Function

                • FunExt.so

                • FunExt.ttc

                • FunExt.ttm

              • Function.so

              • Function.ttc

              • Function.ttm

              • Monad

                • Either.ttc

                • Either.ttm

                • Error

                  • Either.so

                  • Either.ttc

                  • Either.ttm

                  • Interface.so

                  • Interface.ttc

                  • Interface.ttm

                • Identity.so

                • Identity.ttc

                • Identity.ttm

                • Maybe.so

                • Maybe.ttc

                • Maybe.ttm

                • RWS

                  • CPS.so

                  • CPS.ttc

                  • CPS.ttm

                  • Interface.so

                  • Interface.ttc

                  • Interface.ttm

                • RWS.ttc

                • RWS.ttm

                • Reader

                  • Interface.so

                  • Interface.ttc

                  • Interface.ttm

                  • Reader.so

                  • Reader.ttc

                  • Reader.ttm

                • Reader.ttc

                • Reader.ttm

                • ST.so

                • ST.ttc

                • ST.ttm

                • State

                  • Interface.so

                  • Interface.ttc

                  • Interface.ttm

                  • State.so

                  • State.ttc

                  • State.ttm

                • State.ttc

                • State.ttm

                • Trans.so

                • Trans.ttc

                • Trans.ttm

                • Writer

                  • CPS.so

                  • CPS.ttc

                  • CPS.ttm

                  • Interface.so

                  • Interface.ttc

                  • Interface.ttm

                • Writer.ttc

                • Writer.ttm

              • Ord.so

              • Ord.ttc

              • Ord.ttm

              • Order.so

              • Order.ttc

              • Order.ttm

              • Relation

                • Closure.so

                • Closure.ttc

                • Closure.ttm

              • Relation.so

              • Relation.ttc

              • Relation.ttm

              • WellFounded.so

              • WellFounded.ttc

              • WellFounded.ttm

            • Data

              • Bifoldable.so

              • Bifoldable.ttc

              • Bifoldable.ttm

              • Bits.so

              • Bits.ttc

              • Bits.ttm

              • Bool

                • Xor.so

                • Xor.ttc

                • Xor.ttm

              • Bool.so

              • Bool.ttc

              • Bool.ttm

              • Buffer.so

              • Buffer.ttc

              • Buffer.ttm

              • Colist.so

              • Colist.ttc

              • Colist.ttm

              • Colist1.so

              • Colist1.ttc

              • Colist1.ttm

              • Contravariant.so

              • Contravariant.ttc

              • Contravariant.ttm

              • DPair.so

              • DPair.ttc

              • DPair.ttm

              • Double.so

              • Double.ttc

              • Double.ttm

              • Either.so

              • Either.ttc

              • Either.ttm

              • Fin

                • Order.so

                • Order.ttc

                • Order.ttm

              • Fin.so

              • Fin.ttc

              • Fin.ttm

              • Fuel.so

              • Fuel.ttc

              • Fuel.ttm

              • Fun.so

              • Fun.ttc

              • Fun.ttm

              • IOArray

                • Prims.so

                • Prims.ttc

                • Prims.ttm

              • IOArray.so

              • IOArray.ttc

              • IOArray.ttm

              • IORef.so

              • IORef.ttc

              • IORef.ttm

              • Integral.so

              • Integral.ttc

              • Integral.ttm

              • List

                • Elem.so

                • Elem.ttc

                • Elem.ttm

                • HasLength.so

                • HasLength.ttc

                • HasLength.ttm

                • Quantifiers.so

                • Quantifiers.ttc

                • Quantifiers.ttm

                • Views.so

                • Views.ttc

                • Views.ttm

              • List.so

              • List.ttc

              • List.ttm

              • List1

                • Elem.so

                • Elem.ttc

                • Elem.ttm

                • Properties.so

                • Properties.ttc

                • Properties.ttm

                • Quantifiers.so

                • Quantifiers.ttc

                • Quantifiers.ttm

              • List1.so

              • List1.ttc

              • List1.ttm

              • Maybe.so

              • Maybe.ttc

              • Maybe.ttm

              • Morphisms.so

              • Morphisms.ttc

              • Morphisms.ttm

              • Nat

                • Order.so

                • Order.ttc

                • Order.ttm

                • Views.so

                • Views.ttc

                • Views.ttm

              • Nat.so

              • Nat.ttc

              • Nat.ttm

              • Primitives

                • Views.so

                • Views.ttc

                • Views.ttm

              • Ref.so

              • Ref.ttc

              • Ref.ttm

              • Rel.so

              • Rel.ttc

              • Rel.ttm

              • Singleton.so

              • Singleton.ttc

              • Singleton.ttm

              • SnocList

                • Elem.so

                • Elem.ttc

                • Elem.ttm

                • Operations.so

                • Operations.ttc

                • Operations.ttm

                • Quantifiers.so

                • Quantifiers.ttc

                • Quantifiers.ttm

              • SnocList.so

              • SnocList.ttc

              • SnocList.ttm

              • So.so

              • So.ttc

              • So.ttm

              • SortedMap

                • Dependent.so

                • Dependent.ttc

                • Dependent.ttm

              • SortedMap.so

              • SortedMap.ttc

              • SortedMap.ttm

              • SortedSet.so

              • SortedSet.ttc

              • SortedSet.ttm

              • Stream.so

              • Stream.ttc

              • Stream.ttm

              • String.so

              • String.ttc

              • String.ttm

              • These.so

              • These.ttc

              • These.ttm

              • Vect

                • AtIndex.so

                • AtIndex.ttc

                • AtIndex.ttm

                • Elem.so

                • Elem.ttc

                • Elem.ttm

                • Quantifiers.so

                • Quantifiers.ttc

                • Quantifiers.ttm

              • Vect.so

              • Vect.ttc

              • Vect.ttm

              • Zippable.so

              • Zippable.ttc

              • Zippable.ttm

            • Debug

              • Trace.so

              • Trace.ttc

              • Trace.ttm

            • Decidable

              • Decidable.so

              • Decidable.ttc

              • Decidable.ttm

              • Equality

                • Core.so

                • Core.ttc

                • Core.ttm

              • Equality.so

              • Equality.ttc

              • Equality.ttm

            • Deriving

              • Common.so

              • Common.ttc

              • Common.ttm

              • Foldable.so

              • Foldable.ttc

              • Foldable.ttm

              • Functor.so

              • Functor.ttc

              • Functor.ttm

              • Show.so

              • Show.ttc

              • Show.ttm

              • Traversable.so

              • Traversable.ttc

              • Traversable.ttm

            • Language

              • Reflection

                • TT.so

                • TT.ttc

                • TT.ttm

                • TTImp.so

                • TTImp.ttc

                • TTImp.ttm

              • Reflection.so

              • Reflection.ttc

              • Reflection.ttm

            • Syntax

              • PreorderReasoning

                • Generic.so

                • Generic.ttc

                • Generic.ttm

              • PreorderReasoning.so

              • PreorderReasoning.ttc

              • PreorderReasoning.ttm

            • System

              • Clock.so

              • Clock.ttc

              • Clock.ttm

              • Concurrency.so

              • Concurrency.ttc

              • Concurrency.ttm

              • Directory.so

              • Directory.ttc

              • Directory.ttm

              • Errno.so

              • Errno.ttc

              • Errno.ttm

              • Escape.so

              • Escape.ttc

              • Escape.ttm

              • FFI.so

              • FFI.ttc

              • FFI.ttm

              • File

                • Buffer.so

                • Buffer.ttc

                • Buffer.ttm

                • Error.so

                • Error.ttc

                • Error.ttm

                • Handle.so

                • Handle.ttc

                • Handle.ttm

                • Meta.so

                • Meta.ttc

                • Meta.ttm

                • Mode.so

                • Mode.ttc

                • Mode.ttm

                • Permissions.so

                • Permissions.ttc

                • Permissions.ttm

                • Process.so

                • Process.ttc

                • Process.ttm

                • ReadWrite.so

                • ReadWrite.ttc

                • ReadWrite.ttm

                • Support.so

                • Support.ttc

                • Support.ttm

                • Types.so

                • Types.ttc

                • Types.ttm

                • Virtual.so

                • Virtual.ttc

                • Virtual.ttm

              • File.so

              • File.ttc

              • File.ttm

              • Info.so

              • Info.ttc

              • Info.ttm

              • REPL.so

              • REPL.ttc

              • REPL.ttm

              • Signal.so

              • Signal.ttc

              • Signal.ttm

              • Term.so

              • Term.ttc

              • Term.ttm

            • System.so

            • System.ttc

            • System.ttm

          • base.ipkg

        • contrib-0.7.0

          • 2023090800

            • Control

              • ANSI

                • CSI.so

                • CSI.ttc

                • CSI.ttm

                • SGR.so

                • SGR.ttc

                • SGR.ttm

              • ANSI.so

              • ANSI.ttc

              • ANSI.ttm

              • Algebra

                • Implementations.so

                • Implementations.ttc

                • Implementations.ttm

                • Laws.so

                • Laws.ttc

                • Laws.ttm

              • Algebra.so

              • Algebra.ttc

              • Algebra.ttm

              • Arrow.so

              • Arrow.ttc

              • Arrow.ttm

              • Category.so

              • Category.ttc

              • Category.ttm

              • Delayed.so

              • Delayed.ttc

              • Delayed.ttm

              • Monad

                • Algebra.so

                • Algebra.ttc

                • Algebra.ttm

              • Validation.so

              • Validation.ttc

              • Validation.ttm

            • Data

              • Binary

                • Digit.so

                • Digit.ttc

                • Digit.ttm

              • Binary.so

              • Binary.ttc

              • Binary.ttm

              • Bool

                • Algebra.so

                • Algebra.ttc

                • Algebra.ttm

                • Decidable.so

                • Decidable.ttc

                • Decidable.ttm

              • Fin

                • Extra.so

                • Extra.ttc

                • Extra.ttm

              • Fun

                • Extra.so

                • Extra.ttc

                • Extra.ttm

                • Graph.so

                • Graph.ttc

                • Graph.ttm

              • HVect.so

              • HVect.ttc

              • HVect.ttm

              • IMaybe.so

              • IMaybe.ttc

              • IMaybe.ttm

              • IOMatrix.so

              • IOMatrix.ttc

              • IOMatrix.ttm

              • Int

                • Order.so

                • Order.ttc

                • Order.ttm

              • Late.so

              • Late.ttc

              • Late.ttm

              • Linear

                • Array.so

                • Array.ttc

                • Array.ttm

              • List

                • Algebra.so

                • Algebra.ttc

                • Algebra.ttm

                • Alternating.so

                • Alternating.ttc

                • Alternating.ttm

                • AtIndex.so

                • AtIndex.ttc

                • AtIndex.ttm

                • Elem

                  • Extra.so

                  • Extra.ttc

                  • Extra.ttm

                • Equalities.so

                • Equalities.ttc

                • Equalities.ttm

                • Extra.so

                • Extra.ttc

                • Extra.ttm

                • Lazy

                  • Quantifiers.so

                  • Quantifiers.ttc

                  • Quantifiers.ttm

                • Lazy.so

                • Lazy.ttc

                • Lazy.ttm

                • Palindrome.so

                • Palindrome.ttc

                • Palindrome.ttm

                • Reverse.so

                • Reverse.ttc

                • Reverse.ttm

                • Sufficient.so

                • Sufficient.ttc

                • Sufficient.ttm

                • TailRec.so

                • TailRec.ttc

                • TailRec.ttm

                • Views

                  • Extra.so

                  • Extra.ttc

                  • Extra.ttm

              • Logic

                • Propositional.so

                • Propositional.ttc

                • Propositional.ttm

              • Monoid

                • Exponentiation.so

                • Exponentiation.ttc

                • Exponentiation.ttm

              • Morphisms

                • Algebra.so

                • Algebra.ttc

                • Algebra.ttm

              • Nat

                • Ack.so

                • Ack.ttc

                • Ack.ttm

                • Algebra.so

                • Algebra.ttc

                • Algebra.ttm

                • Division.so

                • Division.ttc

                • Division.ttm

                • Equational.so

                • Equational.ttc

                • Equational.ttm

                • Exponentiation.so

                • Exponentiation.ttc

                • Exponentiation.ttm

                • Fact.so

                • Fact.ttc

                • Fact.ttm

                • Factor.so

                • Factor.ttc

                • Factor.ttm

                • Fib.so

                • Fib.ttc

                • Fib.ttm

                • Order

                  • Properties.so

                  • Properties.ttc

                  • Properties.ttm

                  • Relation.so

                  • Relation.ttc

                  • Relation.ttm

                  • Strict.so

                  • Strict.ttc

                  • Strict.ttm

                • Properties.so

                • Properties.ttc

                • Properties.ttm

              • Order.so

              • Order.ttc

              • Order.ttm

              • Path.so

              • Path.ttc

              • Path.ttm

              • Rel

                • Complement.so

                • Complement.ttc

                • Complement.ttm

              • Seq

                • Internal.so

                • Internal.ttc

                • Internal.ttm

                • Sized.so

                • Sized.ttc

                • Sized.ttm

                • Unsized.so

                • Unsized.ttc

                • Unsized.ttm

              • Stream

                • Extra.so

                • Extra.ttc

                • Extra.ttm

              • String

                • Extra.so

                • Extra.ttc

                • Extra.ttm

                • Interpolation.so

                • Interpolation.ttc

                • Interpolation.ttm

                • Iterator.so

                • Iterator.ttc

                • Iterator.ttm

                • Parser

                  • Expression.so

                  • Expression.ttc

                  • Expression.ttm

                • Parser.so

                • Parser.ttc

                • Parser.ttm

                • Position.so

                • Position.ttc

                • Position.ttm

              • Telescope

                • Congruence.so

                • Congruence.ttc

                • Congruence.ttm

                • Fun.so

                • Fun.ttc

                • Fun.ttm

                • Segment.so

                • Segment.ttc

                • Segment.ttm

                • SimpleFun.so

                • SimpleFun.ttc

                • SimpleFun.ttm

                • Telescope.so

                • Telescope.ttc

                • Telescope.ttm

              • Telescope.ttc

              • Telescope.ttm

              • Validated.so

              • Validated.ttc

              • Validated.ttm

              • Vect

                • Extra.so

                • Extra.ttc

                • Extra.ttm

                • Properties

                  • Fin.so

                  • Fin.ttc

                  • Fin.ttm

                  • Foldr.so

                  • Foldr.ttc

                  • Foldr.ttm

                  • Index.so

                  • Index.ttc

                  • Index.ttm

                  • Map.so

                  • Map.ttc

                  • Map.ttm

                  • Tabulate.so

                  • Tabulate.ttc

                  • Tabulate.ttm

                • Properties.ttc

                • Properties.ttm

                • Sort.so

                • Sort.ttc

                • Sort.ttm

                • Views

                  • Extra.so

                  • Extra.ttc

                  • Extra.ttm

              • Void.so

              • Void.ttc

              • Void.ttm

            • Debug

              • Buffer.so

              • Buffer.ttc

              • Buffer.ttm

            • Decidable

              • Decidable

                • Extra.so

                • Extra.ttc

                • Extra.ttm

              • Finite

                • Fin.so

                • Fin.ttc

                • Fin.ttm

              • Order

                • Strict.so

                • Strict.ttc

                • Strict.ttm

            • Language

              • JSON

                • Data.so

                • Data.ttc

                • Data.ttm

                • Lexer.so

                • Lexer.ttc

                • Lexer.ttm

                • Parser.so

                • Parser.ttc

                • Parser.ttm

                • String

                  • Lexer.so

                  • Lexer.ttc

                  • Lexer.ttm

                  • Parser.so

                  • Parser.ttc

                  • Parser.ttm

                  • Tokens.so

                  • Tokens.ttc

                  • Tokens.ttm

                • String.so

                • String.ttc

                • String.ttm

                • Tokens.so

                • Tokens.ttc

                • Tokens.ttm

              • JSON.so

              • JSON.ttc

              • JSON.ttm

            • Syntax

              • WithProof.so

              • WithProof.ttc

              • WithProof.ttm

            • System

              • Console

                • GetOpt.so

                • GetOpt.ttc

                • GetOpt.ttm

              • Directory

                • Tree.so

                • Tree.ttc

                • Tree.ttm

              • Future.so

              • Future.ttc

              • Future.ttm

              • Path.so

              • Path.ttc

              • Path.ttm

              • Random.so

              • Random.ttc

              • Random.ttm

            • Text

              • Bounded.so

              • Bounded.ttc

              • Bounded.ttm

              • Distance

                • Levenshtein.so

                • Levenshtein.ttc

                • Levenshtein.ttm

              • Lexer

                • Core.so

                • Core.ttc

                • Core.ttm

                • Tokenizer.so

                • Tokenizer.ttc

                • Tokenizer.ttm

              • Lexer.so

              • Lexer.ttc

              • Lexer.ttm

              • Literate.so

              • Literate.ttc

              • Literate.ttm

              • Parser

                • Core.so

                • Core.ttc

                • Core.ttm

                • Expression.so

                • Expression.ttc

                • Expression.ttm

              • Parser.so

              • Parser.ttc

              • Parser.ttm

              • PrettyPrint

                • Prettyprinter

                  • Doc.so

                  • Doc.ttc

                  • Doc.ttm

                  • Render

                    • HTML.so

                    • HTML.ttc

                    • HTML.ttm

                    • String.so

                    • String.ttc

                    • String.ttm

                    • Terminal.so

                    • Terminal.ttc

                    • Terminal.ttm

                  • SimpleDocTree.so

                  • SimpleDocTree.ttc

                  • SimpleDocTree.ttm

                  • Symbols.so

                  • Symbols.ttc

                  • Symbols.ttm

                  • Util.so

                  • Util.ttc

                  • Util.ttm

                • Prettyprinter.ttc

                • Prettyprinter.ttm

              • Quantity.so

              • Quantity.ttc

              • Quantity.ttm

              • Token.so

              • Token.ttc

              • Token.ttm

          • contrib.ipkg

        • linear-0.7.0

          • 2023090800

            • Control

              • Linear

                • LIO.so

                • LIO.ttc

                • LIO.ttm

            • Data

              • Linear

                • Bifunctor.so

                • Bifunctor.ttc

                • Bifunctor.ttm

                • Copies.so

                • Copies.ttc

                • Copies.ttm

                • Interface.so

                • Interface.ttc

                • Interface.ttm

                • LEither.so

                • LEither.ttc

                • LEither.ttm

                • LList.so

                • LList.ttc

                • LList.ttm

                • LMaybe.so

                • LMaybe.ttc

                • LMaybe.ttm

                • LNat.so

                • LNat.ttc

                • LNat.ttm

                • LVect.so

                • LVect.ttc

                • LVect.ttm

                • List

                  • LQuantifiers.so

                  • LQuantifiers.ttc

                  • LQuantifiers.ttm

                • Notation.so

                • Notation.ttc

                • Notation.ttm

              • Linear.ttc

              • Linear.ttm

          • linear.ipkg

        • network-0.7.0

          • 2023090800

            • Control

              • Linear

                • Network.so

                • Network.ttc

                • Network.ttm

            • Network

              • FFI.so

              • FFI.ttc

              • FFI.ttm

              • Socket

                • Data.so

                • Data.ttc

                • Data.ttm

                • Raw.so

                • Raw.ttc

                • Raw.ttm

              • Socket.so

              • Socket.ttc

              • Socket.ttm

          • network.ipkg

        • prelude-0.7.0

          • 2023090800

            • Builtin.so

            • Builtin.ttc

            • Builtin.ttm

            • Prelude

              • Basics.so

              • Basics.ttc

              • Basics.ttm

              • Cast.so

              • Cast.ttc

              • Cast.ttm

              • EqOrd.so

              • EqOrd.ttc

              • EqOrd.ttm

              • IO.so

              • IO.ttc

              • IO.ttm

              • Interfaces.so

              • Interfaces.ttc

              • Interfaces.ttm

              • Interpolation.so

              • Interpolation.ttc

              • Interpolation.ttm

              • Num.so

              • Num.ttc

              • Num.ttm

              • Ops.ttc

              • Ops.ttm

              • Show.so

              • Show.ttc

              • Show.ttm

              • Types.so

              • Types.ttc

              • Types.ttm

              • Uninhabited.so

              • Uninhabited.ttc

              • Uninhabited.ttm

            • Prelude.ttc

            • Prelude.ttm

            • PrimIO.so

            • PrimIO.ttc

            • PrimIO.ttm

          • prelude.ipkg

        • support

          • c

            • getline.h

            • idris_directory.h

            • idris_file.h

            • idris_memory.h

            • idris_net.h

            • idris_signal.h

            • idris_support.h

            • idris_system.h

            • idris_term.h

            • idris_util.h

          • chez

            • ct-support.ss

            • support-sep.ss

            • support.ss

          • docs

            • alternative.css

            • blackandwhite.css

            • default.css

          • gambit

            • foreign.scm

            • support.scm

          • js

            • support.js

            • support_system.js

            • support_system_clock.js

            • support_system_directory.js

            • support_system_file.js

            • support_system_signal.js

          • racket

            • ct-support.rkt

            • support.rkt

          • refc

            • _datatypes.h

            • buffer.h

            • cBackend.h

            • casts.h

            • clock.h

            • conCaseHelper.h

            • libidris2_refc.a

            • mathFunctions.h

            • memoryManagement.h

            • prim.h

            • refc_util.h

            • runtime.h

            • stringOps.h

            • threads.h

        • test-0.7.0

          • 2023090800

            • Test

              • Golden.so

              • Golden.ttc

              • Golden.ttm

          • test.ipkg

    • share

      • bash-completion

        • completions

          • idris2

      • doc

        • idris2

          • CHANGELOG.md

          • CONTRIBUTING.md

          • INSTALL.md

          • README.md

          • index.md