projects / ~helmut / bidiragda.git / commit
| author | Helmut Grohne <helmut@subdivi.de> | |
| Thu, 26 Jan 2012 17:06:42 +0000 (18:06 +0100) | ||
| committer | Helmut Grohne <helmut@subdivi.de> | |
| Thu, 26 Jan 2012 17:06:42 +0000 (18:06 +0100) | ||
| commit | 3b01996ba5cc0037f1375d6784c33b3bbd2b7589 | |
| tree | b39d47d51dce735c24608d306f6dac69570825df | tree | snapshot |
| parent | 5ece23e8705d2ea3128961a24baed6652383b1ad | commit | diff |
| Bidir.agda | diff | blob | history |