author | Helmut Grohne <helmut@subdivi.de> | |
Thu, 26 Jan 2012 14:24:41 +0000 (15:24 +0100) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Thu, 26 Jan 2012 14:26:17 +0000 (15:26 +0100) | ||
commit | c96c215cd04865bea37f8c222d12c0581b052c76 | |
tree | c5cb55783cd9be21c308d2f9166c1cc6a93132be | tree | snapshot |
parent | 258c1c6a780fcffaf34cfe01ccb1175de1d5b341 | commit | diff |
Bidir.agda | diff | blob | history |