<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <herd>no-herd</herd> <maintainer> <email>araujo@gentoo.org</email> <name>Luis F. Araujo</name> </maintainer> <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>