SPARK-tetris
This respository contains a Git mirror of the Ada SPARK implementation of tetris described here:
https://blog.adacore.com/tetris-in-spark-on-arm-cortex-m4
This Git mirror is not intended for active development, it is simply a read-only mirror of the original code, accessible via git. It is in no way associated with the original authors of the source code.
Copyright remains with the original authors.