00:01:08FromGitter<Varriount> Anyone know the term for all nodes in a graph that aren't roots?
00:04:20*oprypin quit (Quit: Bye)
00:14:28*Matthias247 quit (Read error: Connection reset by peer)
00:18:58*BitPuffin quit (Read error: Connection reset by peer)
00:20:44*def-pri-pub joined #nim
00:26:15FromGitter<Varriount> subsetpark: Usually that's taken as 'immediate children' of a parent node. I was wondering if there was something to mark all children, grandchildren, etc.
00:28:27TheManiacI've been having the same nomenclature debate with myself too
00:28:36TheManiacyou have leaves and... nodes? branches?
00:28:41TheManiacterminals and non-terminals?
00:28:52FromGitter<ephja> thingies
00:31:29TheManiacwikipedia suggests root, internal and leaf nodes, but doesn't seem satisfying somehow
00:35:52*itseris joined #nim
01:09:03*Nobabs27 quit (Quit: Leaving)
01:26:05*def-pri-pub quit (Quit: Lost terminal)
01:37:54*chemist69 quit (Ping timeout: 255 seconds)
01:42:32*Nobabs27 joined #nim
01:47:57*Jesin quit (Quit: Leaving)
01:51:52*chemist69 joined #nim