mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-18 16:51:51 +03:00
59 lines
1.3 KiB
Plaintext
59 lines
1.3 KiB
Plaintext
package contrib
|
|
|
|
modules = Control.ANSI,
|
|
Control.ANSI.SGR,
|
|
Control.ANSI.CSI,
|
|
Control.Delayed,
|
|
Control.Linear.LIO,
|
|
Control.Monad.Syntax,
|
|
|
|
Control.Algebra,
|
|
Control.Algebra.Laws,
|
|
|
|
Data.Linear.Array,
|
|
|
|
Data.List.TailRec,
|
|
Data.List.Equalities,
|
|
Data.List.Reverse,
|
|
Data.List.Views.Extra,
|
|
Data.List.Palindrome,
|
|
|
|
Data.Fin.Extra,
|
|
|
|
Data.Logic.Propositional,
|
|
|
|
Data.Nat.Ack,
|
|
Data.Nat.Equational,
|
|
Data.Nat.Fact,
|
|
Data.Nat.Factor,
|
|
Data.Nat.Fib,
|
|
|
|
Data.SortedMap,
|
|
Data.SortedSet,
|
|
Data.String.Extra,
|
|
Data.String.Interpolation,
|
|
|
|
Debug.Buffer,
|
|
|
|
Language.JSON,
|
|
Language.JSON.Data,
|
|
Language.JSON.Lexer,
|
|
Language.JSON.Parser,
|
|
Language.JSON.String,
|
|
Language.JSON.String.Lexer,
|
|
Language.JSON.String.Parser,
|
|
Language.JSON.String.Tokens,
|
|
Language.JSON.Tokens,
|
|
|
|
Text.Token,
|
|
Text.Quantity,
|
|
Text.Parser,
|
|
Text.Lexer,
|
|
Text.Parser.Core,
|
|
Text.Lexer.Core,
|
|
|
|
System.Random,
|
|
System.Path,
|
|
Syntax.WithProof,
|
|
Syntax.PreorderReasoning
|