Falling blocks telling you what time is it.

See more at http://blog.adacore.com/make-with-ada-formal-proof-on-my-wrist

Patris is a game inspired by the famous classic falling blocks.

The game is automatically saved when you exit the app and you can change level in the menu.

This app was developed using formal proof with SPARK2014, see more at http://blog.adacore.com/make-with-ada-formal-proof-on-my-wrist

The sources are available on GitHub.

Controls:
 - Up to go left
 - Down to go right
 - Select (short press) to rotate
 - Select (long press) to make the piece go faster