<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <herd>sci-mathematics</herd> <herd>haskell</herd> <longdescription lang="en"> Agda is an interactive proof editor, or proof assistant. Its input language, called Agda language (or simply Agda), is based on a constructive type theory á la Martin-Löf, extended with dependent record types, inductive definitions, module structures and a class hierarchy mechanism. </longdescription> <use> <flag name='epic'>Add support for the epic compiler.</flag> <flag name='stdlib'>Install the standard library.</flag> </use> </pkgmetadata>