2018年4月13日 星期五

用SeaMonkey製作WYSIWYG 網頁

1. Launch SeaMonkey
2. Click the third icon "設計師" from left bottom corner

==> Composer is web page editor 

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...