readme

October 18, 2013 · View on GitHub

c source for hope interpreter from http://www.soi.city.ac.uk/~ross/Hope/

author: ross paterson license: gpl