projects / ~helmut / bidiragda.git / commit
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | |
| Tue, 4 Mar 2014 17:58:25 +0000 (18:58 +0100) | ||
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | |
| Tue, 4 Mar 2014 17:58:25 +0000 (18:58 +0100) | ||
| commit | e08856e01eecdd1c06fe9607eb91b5ed5baaed02 | |
| tree | 7ecd90ee76c0bd51ede951ccb0772354893e44ef | tree | snapshot |
| parent | bec4b138090e87fe92c970ca98010e60707c44f9 | commit | diff |
| Bidir.agda | diff | blob | history |