|
|
|
|
|
|
by irishcoffee
53 days ago
|
|
|
Yeah right now it’s usually C, but if I had a choice I’d use Ada. I’ve never done a graphical interface with Ada, and I have with OpenGLSC using C. I’m sure at some point there will be an accepted formal verification toolchain for rust, I hope to never use it. |
|
|