projects / ~helmut / bidiragda.git / commit
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | |
| Mon, 10 Mar 2014 08:31:57 +0000 (09:31 +0100) | ||
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | |
| Mon, 10 Mar 2014 08:31:57 +0000 (09:31 +0100) | ||
| commit | 3532b34beabbaa6967fe660385c4b4036493a8f1 | |
| tree | a3e9b9bc35c9df934f62bfd4df399c3eda7bd531 | tree | snapshot |
| parent | dab051e89bbe904587a047d239e79610554d5c91 | commit | diff |
| Bidir.agda | diff | blob | history | |
| Instances.agda | diff | blob | history |