projects / ~helmut / bidiragda.git / commit
| 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 |