Geeks
madman-bob
/
idris2-xml
An XML library for Idris 2
Primary Language
Idris
Other
NOASSERTION
idris2-xml GitHub
Markdown
Readme
1
Issue
5
Stargazers
1
Watcher
Issues
Closed issue
comments fail to parse
#1 opened
a year ago
2