log agda/laws.agda @ 87:6789c65a75bc

age author description
Mon, 19 Jan 2015 11:00:34 +0900 Yasutaka Higa Split functor-proofs into delta.functor
Sun, 18 Jan 2015 20:59:27 +0900 Yasutaka Higa Add record definitions. functor, natural-transformation, monad.