diff options
| author | Kazuhiko Sakaguchi | 2019-02-25 16:38:52 +0100 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2019-03-07 16:36:16 +0100 |
| commit | 059d01303184aaf5762bfca545c50d13ff988f6c (patch) | |
| tree | dcd1cc569362b4dc0c451c3cc4e74b28e1d331fa /plugin | |
| parent | 5d0af0cfb61b60a103456138577ec59b032e6133 (diff) | |
Use both coercions and canonical projections to generate the diagram
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions