e9298fdba7
vec buffer: add constructor from data-arc
81bd253dd6
fix vec2list projection: reset len to 0 on VecDiff::Clear
b5cad44838
vec buffer: add constructor from data-arc
7033e04d18
fix vec2list projection: reset len to 0 on [H[2J[3J
ab51ea5d3d
rename pty&tty servers
cdf03c9aae
improve morphisms for integer example
dd1cb79d5a
gitmodules: rename to lib-r3vi / lib-nested, make urls relative & update Cargo.toml
13e530ac75
add lib-laddertypes & ltsh submodules
f778abbfcc
improve README
2b312f9c8c
add rust-toolchain
037857d631
add Cargo workspace & editor playground