분류 기타

람다 미적분을 가르치는 어린이를 위한 펜과 종이 게임.

컨텐츠 정보

  • 조회 148 (작성일 )

본문

이 게임은 형식화 되지 않은 람다 미적분을 나타냅니다. 

배고픈 악어는 람다 추상화이며, 오래된 악어는 괄호이며, 알은 변수입니다. 

식이 규칙은 베타 감소에 해당합니다. 색상 규칙은 (과도하게 신중한) 알파 변환에 해당합니다. 

이전 규칙에 따르면 한 쌍의 괄호에 단일 용어가 포함되어 있으면 괄호를 제거 할 수 있습니다.


http://worrydream.com/#!/AlligatorEggs 


materials_1.png