91e56d876d
digit editor: create char repr if not available
edf088b853
add vec-access to ReprTree and morphism to collect <List Char> to <Vec Char>
f0ac6e6eb3
vec buffer: add VecBufferTarget projection and
attach_to()
2f37030588
add iter() for ListView
5397328c78
vec2list projection: fix idx in Push
f4e71e46cb
adapt to new nako version
c33dab5644
try to improve performance
8f329e091d
use sdf backend in shell