Added notes about some formal features to README
authorClifford Wolf <clifford@clifford.at>
Fri, 14 Oct 2016 13:39:33 +0000 (15:39 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 14 Oct 2016 13:39:33 +0000 (15:39 +0200)
commit512f93f8663dc438c2afa35872fa3b39b87e5323
tree19fa907c13867ac7df3255d2aaf01f36ac4f06da
parentbdc316db50cd8b68ef096386a89c1b38793784e1
Added notes about some formal features to README
README