author | Helmut Grohne <helmut@subdivi.de> | |
Tue, 31 Jan 2012 17:32:46 +0000 (18:32 +0100) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Tue, 31 Jan 2012 17:32:46 +0000 (18:32 +0100) | ||
commit | 8e841d13a36cc57300a3fe4eec5305b684212e60 | |
tree | 2f8cebdba6c2b4ecbb6d9804a7acd20e96dacf34 | tree | snapshot |
parent | c62e107155b8fea28dbf1637f9187e4f24f75173 | commit | diff |
Bidir.agda | diff | blob | history |