author | Helmut Grohne <helmut@subdivi.de> | |
Sun, 31 Mar 2019 20:01:56 +0000 (22:01 +0200) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Sun, 31 Mar 2019 20:01:56 +0000 (22:01 +0200) | ||
commit | 4071a4a9d85c7187b3a6d324e787adbe282817c0 | |
tree | 76d0530f9d2f7f784cb9b98603066e955b27fc30 | tree | snapshot |
parent | e83a3b6cce71c20ffb83475c2660e9500d18798e | commit | diff |
Bidir.agda | diff | blob | history | |
FinMap.agda | diff | blob | history | |
Generic.agda | diff | blob | history |