Geeks
madman-bob
/
idris2-odf
An OpenDocument Format (ODF) library for Idris 2
Primary Language
Idris
Other
NOASSERTION
idris2-odf GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
jgarte
Madison, WI