search

balqui / prefscript

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

Handling Gödel numbers #2

Closed balqui closed 1 year ago

balqui commented 1 year ago

Option not to store them, limit them even if storing them, option to show them in "list". Requires changing the keys of the main dict: a separate issue.

balqui commented 1 year ago

Now: only stored if required so at init. Also: omitted when too large.