|
|
32b2cb5d1f
|
wip
|
2024-12-13 19:53:36 +01:00 |
|
|
|
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 |
|
|
|
8d637a6f32
|
add ReprTree::from_str() to simplify creation of initial representation nodes
|
2024-08-06 16:29:28 +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 |
|
|
|
edf088b853
|
add vec-access to ReprTree and morphism to collect <List Char> to <Vec Char>
|
2024-03-23 20:57:07 +01: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 |
|
