[%] 여기 타입이론 고수 있나요 ㅇㅅㅇ

[다믜(damhiya)]

codata랑 corecursion이 뭔지 알려주실 수 있나요 ㅇㅅㅇ