Hatena::Antenna

nakagawamakoto2007のアンテナ RSS OPML

おとなりアンテナ | おすすめページ

  1. 2022/07/28 21:50:53 天泣記含むアンテナおとなりページ

    2022-07-28 (Thu)
    #1 Coq の Template polymorphism (2)
    さらに manual を読み直した
    そーか、具体的に与えた ql から Pl' が決まり、Ci : sqi を成立できるように si が選ばれる、
    という仕掛けか
    そこで ΓP' は、partial application で ql が与えられなかった部分はそのまま残るから別にいいのか
    というこ