add a mapM variant on the Maybe monad on Vecs
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 16 Dec 2013 17:10:17 +0000 (18:10 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 16 Dec 2013 17:10:17 +0000 (18:10 +0100)
commit2c37e0c2f32b4c6b5c121827a4abddf7fc1dd7e0
tree4bdcaf9d73dbdd72c79226e6ffa40ae91051a619
parent2f999bfd6553cb31ebffe4c32d0a2a52dedaf4d3
add a mapM variant on the Maybe monad on Vecs
Generic.agda