20240126

 Fell asleep around 7 and woke up around 2:15. Got up at 3 to watch anime and play FC until breakfast. Then read book for a while, that's all I had done today. After returning to my study room, I was quite motivatedless, so played Ratopia until noon. Played FC after lunch, then Ratopia, but got bored later. Had been thinking about my project, but just some random thoughts. Like the type of value was called type, the type of type was called kind in haskell, and the type of kind was called sort, also in haskell. So what's the type of sort? Do we have a infinite list of types? Or it has a fixed point if we take 'type of' as a function? Anyway. Completed 3 pomodoroes today - one for research and two for reading.