Mercurial > hg > Members > ryokka > HoareLogic
diff utilities.agda @ 81:0122f980427c
clean up
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 02 Jan 2020 15:33:49 +0900 |
parents | 52d957db0222 |
children | 07b183a726f6 |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 02 Jan 2020 15:33:49 +0900 |
parents | 52d957db0222 |
children | 07b183a726f6 |