The project in response to @ploeh's blog about types and tests.
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).