diff README.md @ 16750:7b196e1c3fa0

Truffle-DSL: added experimental new implies annotation to declare implication relations on guards.
author Christian Humer <christian.humer@gmail.com>
date Mon, 11 Aug 2014 15:53:05 +0200
parents 8dfd3f53ba4a
children 271eee87201c
line wrap: on
line diff