Michael Sippel 7268ed9bc9 morphisms to copy edittree from <List Digit> to <PosInt ..>		2024-09-02 00:09:28 +02:00
..
src	morphisms to copy edittree from <List Digit> to <PosInt ..>	2024-09-02 00:09:28 +02:00
Cargo.toml	rename submodules to reprTree & editTree	2023-11-27 04:18:46 +01:00