madman-bob/idris2-xml

An XML library for Idris 2

IdrisNOASSERTION