Another day.. another 10 hours to dump into type theory studies.
For the logic gods.
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.
