├── .gitignore ├── .idea ├── misc.xml ├── modules.xml └── vcs.xml ├── .travis.yml ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── licenses.txt ├── primitive-recursive-functions.iml └── src └── main.rs /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | **/*.rs.bk 3 | -------------------------------------------------------------------------------- /.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gtestault/primitive-recursive-functions/HEAD/.idea/misc.xml -------------------------------------------------------------------------------- /.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gtestault/primitive-recursive-functions/HEAD/.idea/modules.xml -------------------------------------------------------------------------------- /.idea/vcs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gtestault/primitive-recursive-functions/HEAD/.idea/vcs.xml -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gtestault/primitive-recursive-functions/HEAD/.travis.yml -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gtestault/primitive-recursive-functions/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gtestault/primitive-recursive-functions/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gtestault/primitive-recursive-functions/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gtestault/primitive-recursive-functions/HEAD/README.md -------------------------------------------------------------------------------- /licenses.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gtestault/primitive-recursive-functions/HEAD/licenses.txt -------------------------------------------------------------------------------- /primitive-recursive-functions.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gtestault/primitive-recursive-functions/HEAD/primitive-recursive-functions.iml -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gtestault/primitive-recursive-functions/HEAD/src/main.rs --------------------------------------------------------------------------------