diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2013-12-16 18:10:17 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2013-12-16 18:10:17 +0100 |
| commit | 2c37e0c2f32b4c6b5c121827a4abddf7fc1dd7e0 (patch) | |
| tree | 4bdcaf9d73dbdd72c79226e6ffa40ae91051a619 /Precond.agda | |
| parent | 2f999bfd6553cb31ebffe4c32d0a2a52dedaf4d3 (diff) | |
| download | bidiragda-2c37e0c2f32b4c6b5c121827a4abddf7fc1dd7e0.tar.gz | |
add a mapM variant on the Maybe monad on Vecs
Diffstat (limited to 'Precond.agda')
0 files changed, 0 insertions, 0 deletions