>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 ca

>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.