時相論理勉強会/Haskell勉強会 用リポジトリ