[ol9_developer_EPEL] idris2-0.7.0-4.el9.x86_64

Name:	idris2
Version:	0.7.0
Release:	4.el9
Architecture:	x86_64
Group:	Unspecified
Size:	96273094
License:	BSD-3-Clause
RPM:	idris2-0.7.0-4.el9.x86_64.rpm
Source RPM:	idris2-0.7.0-4.el9.src.rpm
Build Date:	Sun Jul 13 2025
Build Host:	build-ol9-x86_64.oracle.com
Vendor:	Oracle America
URL:	https://www.idris-lang.org
Summary:	Purely functional programming language with first class types
Description:	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