結果,我發現按E-mail寄出去的,只會給連結,不會附加檔案在上面,
因此,我就在想怎樣才能把Google Docs上的檔案下載回自己的電腦裡,
試了一下之後,才發現只要在想下載的文件檔上,按右鍵再選Save as xxx就可以了,
enjoy~~~
1. Install Lean Environment: https://lean-lang.org/install/ 試著完Step one, two, three 2. 在VS code下,建一新的project: 取名Hello_World 3. 嘗試執行Main.lea...