lib-nested/examples/tty-03-string/README.md

9 lines
260 B
Markdown
Raw Permalink Normal View History

2024-03-21 18:17:04 +01:00
# tty-03-string
Similarly to `tty-02-digit`, a editor is created
but of type <List Char>.
The contents of the editor can be retrieved by
a morphism from the `EditTree` node.
To demonstrate that, the values are are mapped
to the TTY-display in different form.