Closed lhumphrey closed 4 years ago
Adding Example_Spark_Service. Includes session files for proof and a new example to run the service. Also minor formatting changes to Ada code.
Adding Example_Spark_Service. Includes session files for proof and a new example to run the service. Also minor formatting changes to Ada code.