7/17(金)～23(木)に開催されるTyped Logic のルールを紹介していきます。LMIの登録方法等についてはLMIのすすめをご覧ください。 LMIリンク：Home - Logic Masters India Typed Logic コンテストページリンク：Typed Logic on 17th to 22nd Jul at Logic Mas…