Cross-Reference Redirection

Cross-Reference Redirection

Table of Contents

	소개
	감사의 글
1.	Lean 알아가기
2.	안녕하세요, 세계!
	막간: 명제, 증명, 인덱싱
3.	오버로딩과 타입 클래스
4.	모나드
5.	펑터, 애플리커티브 펑터, 모나드
6.	모나드 트랜스포머
7.	의존 타입을 활용한 프로그래밍
	막간: 택틱, 귀납법, 그리고 증명
8.	프로그래밍, 증명, 그리고 성능
9.	다음 단계

Source Code
Report Issues