/prec-definitions

Common definitions of primitive recursive functions

MIT LicenseMIT

No issues in this repository yet.