型無しラムダ計算
https://github.com/woodrush/lambda-8cc
型無しラムダ計算で書かれたCコンパイラ