This is an implementation of Bob Nystrom's Lox language written in SPARK/Ada. The emphasis of this port lies on (formal) correctness and provability. Speed and elegance are taken to be secondary virtues.

References:

• The Book
• Bob's Github repos
• I occasionaly take hints from Ivan's C version of Lox