The Institute for Type Safe Memetic Research

Truth in Types, Safety in Thought