Updated 2015-12-08
This demo has been moved to: http://remu.grammaticalframework.org/contracts/converter/