@peterdrake impossible to formally prove to be correct to be exact, one of the reasons I've never been as enamored as most people are with static typing incidentally :)
CleverLibre Social is an inclusive social instance for open discussion, learning, and community.
All cultures welcome.
Hate speech and harassment strictly forbidden.
@peterdrake impossible to formally prove to be correct to be exact, one of the reasons I've never been as enamored as most people are with static typing incidentally :)