재귀 구현을 위해 Y combinator를 올바른 항으로 선언할 수 있게 타입 검사기를 고쳤으나 TyApp이 구현되어 있지 않아 안타깝게도 실행할 수 없다. 슬픈 일이다.

0

If you have a fediverse account, you can reply to this note from your own instance. Search https://hackers.pub/ap/notes/019a6f07-0575-77f8-9779-1510a4198cb6 on your instance and reply to it.