diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-12-14 12:03:04 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-12-14 12:03:04 +0100 |
| commit | 06e16ec6a913f216ef43a3a32e7094c6e83d40ef (patch) | |
| tree | 22db8656f3e50a7762dfa0b66f2f730db1aade72 /Bidir.agda | |
| parent | d39092a7bfe8180b5928aff7ec783de3c48b62f4 (diff) | |
| download | bidiragda-06e16ec6a913f216ef43a3a32e7094c6e83d40ef.tar.gz | |
un-inline different-drop
Diffstat (limited to 'Bidir.agda')
0 files changed, 0 insertions, 0 deletions