|
|
|
|
|
|
by noneeeed
497 days ago
|
|
|
Nice! My first job was mostly SPARK Ada, subtypes were so useful, both in terms of making contracts clearer for the human and for the various analysis tools. Rust is high on my list of languages to learn when I can make some time, having something like this available will be great. |
|
|