顯示具有 mind image 標籤的文章。 顯示所有文章
顯示具有 mind image 標籤的文章。 顯示所有文章

2010年3月7日 星期日

Richard Ramirez vs 宮崎勤

 

Ricardo Leyva Munoz Ramirez: Big deal. Death always went with the territory. I'll see you at Disneyland 

Lean 4 極簡教學 (Using VS Code on macOS)

 1. Install Lean Environment: https://lean-lang.org/install/ 試著完Step one, two, three 2. 在VS code下,建一新的project: 取名Hello_World 3. 嘗試執行Main.lea...