agda / agda-text-xml

Simple bindings for parsing, processing and serializing XML

agda/agda-text-xml Stargazers

apskii
Alan Jeffrey
asajeffrey
Jonathan Fischoff
jfischoff

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.