= idris2-ecosystem
// SPDX-License-Identifier: CC-BY-SA-4.0
:author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>

Idris2 libraries and tools.

== Components

* `cno/` - CNO (Computational Narrative Ontology) for Idris2
* `dyadt/` - Dyadic type theory implementation
* `echidna/` - Echidna formal verification bindings
* `xml-toolkit/` - XML 7.44 processing toolkit

== License

PMPL-1.0-or-later
