diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-05-14 19:16:21 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-05-14 19:16:35 +0200 |
| commit | 554eff1ebc7bf4f467c8566a0e22b8a0cfb9d0a4 (patch) | |
| tree | 53cdebd831061cd13740134ab7dd5fdba3aa6b68 /src/Data/Array/Mixed/Lemmas.hs | |
| parent | 03626ae119438452551962359b5d445a4ddbc0b3 (diff) | |
Rename the three main public tensor API modules
Diffstat (limited to 'src/Data/Array/Mixed/Lemmas.hs')
0 files changed, 0 insertions, 0 deletions