RanaldClouston, Now that Threads are starting to federate, are there any interesting logicians / type theorists / category theorists / PL theorists etc there I should be following?
RanaldClouston, Now that Threads are starting to federate, are there any interesting logicians / type theorists / category theorists / PL theorists etc there I should be following?
Add comment