>CoC

I'm sorry, what does that mean?

>bad compiler, bad type system

I'd love to hear some feedback from you about the compiler and type system, so that we can discuss and improve them.

>no formal proofing

Ary has expressed interest in formally defining crystal's type system, but its understandably far down the list of priorities.