diff options
| author | David A. Madore <david+git@madore.org> | 2019-01-16 10:30:12 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2019-01-16 10:30:12 +0100 |
| commit | 930ce124214fb3003c63dee440add8d4d675ea65 (patch) | |
| tree | f23d1a5db78d61542515658cc8023ea69ad6ef17 /misc | |
| parent | 6cfbd59408a18b2a42374dec35ff109f916b4e76 (diff) | |
| download | inf105-930ce124214fb3003c63dee440add8d4d675ea65.tar.gz inf105-930ce124214fb3003c63dee440add8d4d675ea65.tar.bz2 inf105-930ce124214fb3003c63dee440add8d4d675ea65.zip | |
Minor clarifications about computability and universality.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions