Comment by cyanydeez

4 hours ago

See also: https://news.ycombinator.com/item?id=48480978#48482218

2 comments

cyanydeez

Reply

agnishom 2 hours ago

See also: cofixpoints of co-algebras

jesuslop 43 minutes ago

check mate