Last year I completed a report the SPARK toolkit. For those interested, I have now made it available for download.
Enjoy reading!
My_Slogan_IO is new Generic_Clever_Slogan_IO; Use My_Slogan_IO;
Last year I completed a report the SPARK toolkit. For those interested, I have now made it available for download.
Enjoy reading!