이태화 아카이브

처치의 수를 프로시저로 표현하기

A Tutorial Introduction to the Lambda Calculus 번역

정수의 곱으로 cons 구현하기

람다식으로 cons 구현하기

직사각형을 나타내는 데이터 만들기