author | Helmut Grohne <helmut@subdivi.de> | |
Sun, 22 Jan 2012 15:40:58 +0000 (16:40 +0100) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Sun, 22 Jan 2012 15:40:58 +0000 (16:40 +0100) | ||
commit | 2f01bfa8f4580eb0777a66946c62dd5af6f2867c | |
tree | 914610edc58a49036e968a81c9f486612a5537d6 | tree | snapshot |
parent | a511dceb455975ded324c14c10f3cb6f85b95c3d | commit | diff |
Bidir.agda | diff | blob | history |