comparison README.md @ 622:8a3a25f2d42c

uncoupling oracle from context
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 07 May 2019 12:32:21 +0200
parents e3f21a265be5
children f939f449482c
comparison
equal deleted inserted replaced
621:8adc8cfb50c7 622:8a3a25f2d42c