Comment by haskellandchill

I've been following this project for a while. Good work, but a haphazard ranting style of promotion. But hey it's a proofs language, it's gonna get weird.