Michael Sippel 9af00d7294 move more event handling from PTYListController into being handled by ListEditor with ListCmd		2023-08-18 03:06:25 +02:00
..
char	node: adapt new() to always initialize ctx and data; fix get_morphism bug	2023-08-15 23:18:51 +02:00
integer	move ctx init for integer types into integer module	2023-08-18 00:16:16 +02:00
list	move more event handling from PTYListController into being handled by ListEditor with ListCmd	2023-08-18 03:06:25 +02:00
product	restructure TypeTerm	2023-08-12 19:03:14 +02:00
sum	node: adapt new() to always initialize ctx and data; fix get_morphism bug	2023-08-15 23:18:51 +02:00
mod.rs	factor out r3vi and shell crates	2023-02-16 15:11:22 +01:00