diff list-monoid-cat.agda @ 289:7dc163c026b7

move to iProduct axiom
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 25 Sep 2013 13:25:14 +0900
parents a9b4132d619b
children d6a6dd305da2
line wrap: on
line diff