author | Helmut Grohne <helmut@subdivi.de> | |
Fri, 20 Apr 2012 10:15:33 +0000 (12:15 +0200) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Fri, 20 Apr 2012 10:15:33 +0000 (12:15 +0200) | ||
commit | 1a8af12f97732cf087264f79483ee1d9aa035b3d | |
tree | 50a9a41ac4aaf876cb053b988ff4d51c5d114050 | tree | snapshot |
parent | b2eb5eef26787fcb9ff0778f82473b0fc2dc4caa | commit | diff |
Bidir.agda | diff | blob | history |