Mercurial > hg > Members > ryokka > HoareLogic
diff whileTestGears1.agda @ 43:52523a6ee221
think about whileTransition
author | ryokka |
---|---|
date | Sun, 15 Dec 2019 19:22:21 +0900 |
parents | b95a3cf9727c |
children | 07b183a726f6 |
author | ryokka |
---|---|
date | Sun, 15 Dec 2019 19:22:21 +0900 |
parents | b95a3cf9727c |
children | 07b183a726f6 |