2015年3月7日 星期六

關於Notepad++ plug-in NppExec 嘗試執行 C/C++ code, 出現"電腦遺失libintl-8.dll"錯誤可能的解法

For windows8 or windows 8.1
1. 系統->進階系統設定->環境設定->系統變數,編輯Path,加上libintl-8.dll的path,例如:
C:\Program Files\Dev-Cpp\MinGW32\bin\
2. 以"系統管理員的身份執行" Notepad++

enjoy~

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