GitHub repository: ComputationWithBoundedResources/term-rewriting-xml
Primary language: Haskell
Description: XML parser for term-rewriting library