projects / ~helmut / bidiragda.git / commit
| author | Helmut Grohne <helmut@subdivi.de> | |
| Sun, 22 Jan 2012 21:36:16 +0000 (22:36 +0100) | ||
| committer | Helmut Grohne <helmut@subdivi.de> | |
| Sun, 22 Jan 2012 21:36:16 +0000 (22:36 +0100) | ||
| commit | 0a34343e2cd20be26411af267a57b54fd300cf38 | |
| tree | 5bc0a14abf3209642614e6fbd2682ca2359c8df4 | tree | snapshot |
| parent | 2f01bfa8f4580eb0777a66946c62dd5af6f2867c | commit | diff |
| Bidir.agda | diff | blob | history |