author | Helmut Grohne <helmut@subdivi.de> | |
Mon, 23 Jan 2012 18:51:55 +0000 (19:51 +0100) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Mon, 23 Jan 2012 18:51:55 +0000 (19:51 +0100) | ||
commit | 16d6ec0aa1f8599a4445ea6994d6f0fb5e5c25d4 | |
tree | 13087bef8b0034db6a045e220170b73d146425f9 | tree | snapshot |
parent | 4fa6ecf53dd170e4079edb582c68a55448047c6a | commit | diff |
Bidir.agda | diff | blob | history |