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
line wrap: on
line diff