Thinking.with.Types.2018.pdf
Type-LevelProgramminginHaskellThisbookaimstobethecomprehensivemanualfortype-levelprogramming.It’saboutgettingyoufromheretothere—fromacompetentHaskellprogrammertoonewhoconvincesthecompilertodotheirworkforthem.
下载地址
用户评论
