0d41fd03f7
in order to generate the LLVM extern declarations we want to use a generator that spits out XML. Hence adding a small XML parser.
2 lines
55 B
Text
2 lines
55 B
Text
import Lean.Data.Xml.Basic
|
|
import Lean.Data.Xml.Parser
|