Emma Adby
Published © GPL3+

SPARKZumo Part 1: Ada and SPARK on Any Platform

So you want to use SPARK? All you need is an Ada 2012 ready compiler and the SPARK tools. But what about when the compiler isn't available?

IntermediateShowcase (no instructions)5 hours68
SPARKZumo Part 1: Ada and SPARK on Any Platform

Story

Read more

Code

SPARKZumo

Credits

Emma Adby

Emma Adby

23 projects • 1 follower
Contact
Thanks to Rob Tice.

Comments