2020-05-04から1日間の記事一覧
読んだだけ… 先週読み始めて1週間で一応読み終わったので(読んだだけね)記録。 型の話に入ってからの理解がかなり怪しく、途中から式変形と証明が追えなくなってしまったので再履修が必要かな。ある程度Haskellについて知ってるので読めたという部分がある…
読んだだけ… 先週読み始めて1週間で一応読み終わったので(読んだだけね)記録。 型の話に入ってからの理解がかなり怪しく、途中から式変形と証明が追えなくなってしまったので再履修が必要かな。ある程度Haskellについて知ってるので読めたという部分がある…