그거 어디 설명된 자료가 있었던 것 같은데 레이지가 베타 리덕션 순서랑 관련된거임 - return 0;
https://en.m.wikipedia.org/wiki/Lambda_calculus_definition- return 0;
밑에 리덕션 항목 확인해라 뭐 그닥 거창한건 아님 - return 0;
ㄱㅅ합니다
그거 어디 설명된 자료가 있었던 것 같은데 레이지가 베타 리덕션 순서랑 관련된거임 - return 0;
https://en.m.wikipedia.org/wiki/Lambda_calculus_definition
- return 0;
밑에 리덕션 항목 확인해라 뭐 그닥 거창한건 아님 - return 0;
ㄱㅅ합니다