~bfiedler/typing-is-hard#9: 
Add language Ada/SPARK

Hello. I believe you should add Ada/SPARK as they are known for writing correct programs, static analysis, and formal verification.

Status
REPORTED
Submitter
~c0c0nut
Assigned to
No-one
Submitted
6 months ago
Updated
2 months ago
Labels
new content

~bfiedler 2 months ago

That's a good idea, do you have some references I could use? I can try to look for something myself, but currently my studies take up a lot of my time, which means I will update this as soon as I find the time and motivation.

Register here or Log in to comment, or comment via email.