comparison generic-filter.agda @ 398:fbe1a49876ad

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 27 Jul 2020 18:52:48 +0900
parents 8c092c042093
children 48ea49494fd1
comparison
equal deleted inserted replaced
397:382a4a411aff 398:fbe1a49876ad