广告合作QQ：76874919
Seven More Languages in Seven Weeks （读书笔记）：Idris
Idris Day 1 基本上还是Haskell的语法？ *functions...
Seven More Languages in Seven Weeks （读书笔记）：Lua
Lua Day 1 字符串拼接："Hello" .. " w...