Inigo Packages

Here is a selection of Inigo packages. To find a specific package, please search above.

* Base.Color - Library for ANSI colors in your terminal

* Base.Fmt - Dependently-typed String Formatter for Idris2

* Base.Extra - Miscellaneous Extra Functions and Helpers for Idris2

* Base.IdrTest - Unit-test framework for Idris2

* Base.Markdown - Markdown Parser and Renderer for Idris2

* Base.SemVar - Semantic Version Parser and Satisfier

* Base.Toml - Toml Parser for Idris2