Mercurial > hg > Members > ryokka > HoareLogic
comparison Hoare.agda @ 63:222dd3869ab0
remove wrong ==>
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 22 Dec 2019 09:15:44 +0900 |
parents | e668962ac31a |
children |
comparison
equal
deleted
inserted
replaced
62:bfe7d83cf9ba | 63:222dd3869ab0 |
---|