Another day.. another 10 hours to dump into type theory studies.
For the logic gods.
CleverLibre Social is an inclusive social instance for open discussion, learning, and community. All cultures welcome. Hate speech and harassment strictly forbidden.
