Michael Sippel caa0c9a5c0 define char-editor constructor as morphism		2024-01-18 19:43:59 +01:00
..
main.rs	define char-editor constructor as morphism	2024-01-18 19:43:59 +01:00