-
Notifications
You must be signed in to change notification settings - Fork 1
Simple bindings for parsing, processing and serializing XML
License
agda/agda-text-xml
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
Agda XML Library ================ Simple bindings for parsing, processing and serializing XML. It links against the Haskell Text.XML.Expat library, which in turn links against expat.
About
Simple bindings for parsing, processing and serializing XML
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published