No description
- Python 98.4%
- Nix 1.6%
| .vscode | Add str, repr, eq | |
| .envrc | Initial commit | |
| .gitignore | Initial commit | |
| flake.lock | flake.lock: Update | |
| flake.nix | Add sqrt & remove unneeded imports | |
| LICENSE | Add LICENSE | |
| mypy.ini | Initial commit | |
| primitive_recursion.py | Some improvements | |
| README.md | Add README | |
Primitive recursion in Python
This is a simple nonrecursive implementation of primitive recursive functions in Python.
Most information about this can be found in the comments and docstrings of the Python source.
The file is typed for mypy but in at least mypy 1.5.1 there is a bug which means that supposedly,
PrimitiveRecursion.run has a missing return statement (it doesn’t).