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