The Institute for Type Safe Memetic Research
Truth in Types, Safety in Thought