Ada' (1532)

Verifiable subset of Ada