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