|
|
0bcfd7a65a
|
call edittree_hook in morphisms already, add edittree() getter in ReprTreeExt to further simplify application code
|
2024-08-09 23:00:31 +02:00 |
|
|
|
6e2b82585e
|
in context.apply_morphism() now use find_morphism_path() to automatically find chained morphisms to create projections in ReprTree
|
2024-08-06 16:20:02 +02:00 |
|
|
|
4c0e9da2d3
|
fixup examples
also fix behaviour of insert_leaf() & attach_leaf_to() when type of current repr-node occurs inside the type of the leaf
|
2024-08-03 15:44:04 +02:00 |
|
|
|
473dd5f4dc
|
add short READMEs for examples
|
2024-03-21 18:17:04 +01:00 |
|
|
|
33e97ed5e3
|
cleanup examples
- move initialization of edittree-hook into lib-nested-tty
- split examples into separate digit/string examples
|
2024-03-21 13:27:09 +01:00 |
|
