[bdd878]: AUTHORS Maximize Restore History

Download this file

AUTHORS    7 lines (4 with data), 231 Bytes

The Vimes Z type checker was designed and implemented by Keith
Harwood. <Keith_Harwood@vitalmis.com>

Many of the tests in the test suite were written by members of the
Community Z Tools project, for which I express my gratitude.