sci-mathematics/agda/metadata.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
   3 <pkgmetadata>
   4   <herd>sci-mathematics</herd>
   5   <herd>haskell</herd>
   6 <longdescription lang="en">
   7   Agda is an interactive proof editor, or proof assistant. Its input language,
   8   called Agda language (or simply Agda), is based on a constructive type
   9   theory á la Martin-Löf, extended with dependent record types,
  10   inductive definitions, module structures and a class hierarchy mechanism.
  11 </longdescription>
  12 <use>
  13   <flag name='cpphs'>Use cpphs instead of cpp.</flag>
  14   <flag name='epic'>Add support for the epic compiler.</flag>
  15   <flag name='stdlib'>Install the standard library.</flag>
  16 </use>
  17 </pkgmetadata>