3 ms·

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

• agnishom 5mo ago
  See also: cofixpoints of co-algebras
  • jesuslop 5mo ago
    check mate