Mercurial > hg > Members > ryokka > HoareLogic

comparison utilities.agda @ 22:e88ad1d70faf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
separate Hoare with whileTestPrim
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 25 Dec 2018 08:24:54 +0900
parents 5e4abc1919b4
children a39a82820742
comparison
equal deleted inserted replaced
21:5e4abc1919b4 22:e88ad1d70faf