Calculus in Coinductive Form (1998) | Dark Hacker News