Ticket created by ~c0c0nut on ~bfiedler/typing-is-hard
Hello. I believe you should add Ada/SPARK as they are known for writing correct programs, static analysis, and formal verification.