Edwin Bradyedwinb@types.pl
Oct 5, 2026, 9:29 PMMeanwhile, I found myself thinking about Observational Type Theory today. About 10 years ago I thought it was about time Idris paid attention to that. And now it's 10 years later. Hmmm.
Meanwhile, I found myself thinking about Observational Type Theory today. About 10 years ago I thought it was about time Idris paid attention to that. And now it's 10 years later. Hmmm.