~c0c0nut


#9 Add language Ada/SPARK 3 years ago

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.