13:22:29beachThe latter choice is what I am contemplating.
13:23:24beachAnd once I make this work, I need to teach satiation about it.
13:23:44beachThat way, TYPEP will be fully functional once I have a cyclic graph.
13:24:29beachI think once I finish bootstrapping, there is enough material for a book on it.
16:13:09beachI think I have a solution to the problem with discriminating functions. Tomorrow, I'll write down what I came up with. There are some messy details so I prefer a separate text rather than trying to stick everything in here. Plus, it gives me a bit more time to think it through.