Type systems are pretty great. I am fond of these compilers
http://theory.stanford.edu/~arbrad/pivc/download/index.html
https://compcert.org/
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.
