Mercurial > hg > Members > kono > Proof > automaton
diff automaton-in-agda/src/finiteSetUtil.agda @ 205:e97cf4fb67fa
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 18 Jun 2021 21:09:50 +0900 (2021-06-18) |
parents | 3fa72793620b |
children | d1e8e5eadc38 |