diff options
| author | Thomas Bauereiss | 2019-08-14 17:55:31 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-08-14 18:02:03 +0100 |
| commit | 853f318702420a57c2cf6a6d23fa8102bc32b3fb (patch) | |
| tree | addbdbcf02a44d274136a49542dc3192086b239f /doc/types.tex | |
| parent | e3c73232aafe15d06739e0552d517ad095b0bf70 (diff) | |
Add a mono rewrite for (ones(n) @ zeros(m))
Diffstat (limited to 'doc/types.tex')
0 files changed, 0 insertions, 0 deletions