Bug Free Coding with SPARK AdaΒΆ

Workshop project for Major League Hacking course: Learn to write maintainable bug-free code with SPARK Ada.