<?xml version="1.0" encoding="UTF-8"?> | |
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> | |
<pkgmetadata> | |
<!-- maintainer-needed --> | |
<longdescription lang="en"> | |
srf (Simple Recursive Functions) interprets a very simple programming language | |
similar to Stephen Kleene's recursive functions. You can use srf to help | |
understand recursive functions, or Peano arithmetic. | |
</longdescription> | |
</pkgmetadata> |