Îõ³h$Ø-Í      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFG H I J K L None&^    Safe-Inferred ™  None<ÉÎ×Á  None å  None5678"! "! None?,,None +?)1blagdaûThe return type here is whether or not this markdown file is a BLOG POST. Even if it isn't, the file still gets generated.3blagda&Replace any expression $foo$-bar with  span... $foo$-bar /span8, so that the equation is not split when word wrapping.8blagda×Parse an Agda module (in the final build directory) to find a list of its definitions.<blagdaPossibly interpret an  ahref="agda://"4 link to be a honest-to-god link to the definition.>blagdaØLookup an identifier given a module name and ID within that module, returning its type.>blagda/Lookup an ident from a module name and locationblagda*Lookup a type from a module name and ident-.0/123456789:;<=>-.0/123456789:;<=>None ÔÙàrABCDEFABCDEF None &èŸGHHG NoneÀII None +ÁÂèìé " !,1AJKLJKL1A  Safe-Inferred MNOPQRSTÕ  !"#$%&'())*+,-./0123456 789:;<=>?@ABCDE'(FGHIJK L M N O P Q R S T U V W X YÚ%blagda-0.1.0.1-3XCcIauq772JHIXjEf1Orn Blagda.AgdaBlagda.Equations Blagda.LatexBlagda.References Blagda.TypesBlagda.TemplateBlagda.Markdown Blagda.Rename Blagda.UtilsBlagda.DiagramsBlagda Paths_blagda moduleNamefakePath removeImplsrunAgdasetupTCMkillDomainNameskillQualtcAndLoadPublicNamesmakePibuiltinModules hideSteps LatexEquation buildLatexEqn$fShowLatexEquation$fEqLatexEquation$fHashableLatexEquation$fBinaryLatexEquation$fNFDataLatexEquation ReferencerefHrefrefClass linkDocumentlinkrenderReferenceparseSymbolRefsaddIfNotPresent $fEqReference$fShowReferencePostp_path p_contentsp_meta$fBifunctorPost $fToJSONPost$fEqPost $fOrdPost $fShowPost $fFunctorPost$fFoldablePost$fTraversablePost $fGenericPost writeTemplate refClasses loadMarkdownhtmlInl patchInlines patchBlock patchInlinemStr patchMetaparseFileIdentsdefaultWriterOptions renderPost renderHTML5 parseAgdaLinkemplace addLinkTyperenameonHead replaceInline replaceBlock replaceHtml replaceAttrStrs getBuildPath buildDiagramsparseFileTypesagdaHTMLparseMetaStringversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName