Conversation

“Corecursion on problems is yak shaving” —

, May 2017

1

1

uwap@chaos.social

Replying to

and

What do you understand as corecursion? In my understanding recursion is a generalisation of induction & coinduction that doesn't have a dual

1

Replying to

and

blog.sigfpe.com/2007/07/data-a

11:34 PM · May 3, 2017Twitter Web Client

uwap@chaos.social

Replying to

and

I see.