primitive recursion as form of construction

balqui / prefscript

PReFScript: A Partial Recursive Functions Lab

MIT License

0 stars 0 forks source link

primitive recursion as form of construction #16

Closed balqui closed 3 months ago

balqui commented 5 months ago

Adding it as yet another form of construction (particular case of definable construction forms) may allow for a much more efficient alternative to the extremely long linear-search minimization. See file towards_prim_rec.py just added.

balqui commented 3 months ago

Seems ready by mid Thermidor 2024, tested on factorial and on Fibonacci.