LambdaNsk #3-1. Коиндукция и бесконечные структуры данных. Ренат Идрисов

LambdaNsk #3-1. Коиндукция и бесконечные структуры данных. Ренат Идрисов Доклад о том, что кроется за понятиями “коиндукция“, “корекурсия“, “коданные“, и как это помогает в создании бесконечных структур данных.