3 ms·
I have something similar but for lambda terms with huge normal forms, I always wake up exhausted when this happens
by marvinborner 2y ago
I have something similar but for lambda terms with huge normal forms, I always wake up exhausted when this happens
- hashtekar 2y agoWow. I read your comment a few hours ago. Disturbed sleep, the tight little loops of information retrieval, processing and repeat. That feeling of exhaustion. It’s real. It’s happening to me right now. What’s new is I knew I’d be here, writing this, all those hours ago. Mixed with the cards and the Maths.