학습 완료람다 계산법과 이퀄리티 새추레이션(egg) 결합 탐구 블로그2026-09-21 00:29 · Lobsters · 원문 보기 ↗ #programming-languages#formal-methods#lambda-calculus근거: 프로그래밍 언어 이론(람다 대수·이퀄리티 새추레이션) 관련 기술 블로그 포스트로, 특정 오픈소스 저장소를 짚기 어려운 이론/해설 글액션: Philip Zucker의 egg(equality saturation) 관련 글 읽고 egg Rust 라이브러리 예제 훑어보기