search

balqui / prefscript

PReFScript: A Partial Recursive Functions Lab
MIT License
0 stars 0 forks source link

The complex quotient test #6

Closed balqui closed 3 months ago

balqui commented 1 year ago

Is worth some explanation somewhere, but that can be in the accompanying text.

balqui commented 3 months ago

Not sure what I meant here. Possibly, the contrived way in which one has to combine projections to get right the auxiliary function on which a minimization provides the integer division operation. But that's how these things work these days. I am closing the issue.