이태화 아카이브

구간 뺄셈 프로시저 구현하기

구간 산술 연산 프로시저로 구현하기

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

A Tutorial Introduction to the Lambda Calculus 번역

정수의 곱으로 cons 구현하기