use map-Σ to simplify lemma-mapM-successful
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 21 Feb 2014 10:04:23 +0000 (11:04 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 21 Feb 2014 10:04:23 +0000 (11:04 +0100)
commit74b5de7627a5cce88c63d671ecbe111a7f45e7f4
tree867a52c4acca29fdf7ad1e970ec1122370e70df4
parent4e394529b4462c7266accfb8b9b014696184b36d
use map-Σ to simplify lemma-mapM-successful
Bidir.agda