This package needs a new maintainer!
If you are interested in helping with the maintenance of srf, please get in touch with our
Proxy Maintainers team.
Package Metadata
Full description
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.
Packages