Skip to content

proof(xml-7-44): rename Namespace.prefix → nsPrefix (Idris2 0.8.0 keyword) #447

proof(xml-7-44): rename Namespace.prefix → nsPrefix (Idris2 0.8.0 keyword)

proof(xml-7-44): rename Namespace.prefix → nsPrefix (Idris2 0.8.0 keyword) #447