Ask Weihrauch, I've seen a list somewhere, maybe on their web site.
2 mins on google gives https://weihrauch-database.eu/dywp you ask & they date it.
Ask Weihrauch, I've seen a list somewhere, maybe on their web site.
2 mins on google gives https://weihrauch-database.eu/dywp you ask & they date it.
Last edited by angrybear; 23-03-2024 at 01:11 AM.