joint comp+pair option with 3 parameter functions

balqui / prefscript

PReFScript: A Partial Recursive Functions Lab

MIT License

0 stars 0 forks source link

Closed balqui closed 1 month ago

balqui commented 3 months ago

Shortcut for sequences pair_for_x f g + x = comp h pair_for_x as yet another form of construction (particular case of definable construction forms).

balqui commented 1 month ago

Seems it works by mid Thermidor 2024. Closing.