Tags
4 pages
Lambda Calculus
ๅบ็ก็ Lambda ๆผ็ฎ็ผ็จ
่ฟญไปฃ็ปๅๅญ็ๆ้ - LCaC ยง 4C, Theorem 4.20
Church Encoding ็ฎๅ็ฌ่ฎฐ
Huffman ๆ ็ Haskell ๅฎ็ฐ | ็ปๅๆฐๆฎ็็ปๆไธ่งฃๆ