QiiTimeDec 11, 2019
QiiTime は Qiita/Qiitadon の同人サークル Qithub のコラボ作品です。詳細は https://qiitadon.com/@QiiTime/101306011841057999 へ。コラボ・メンバー募集中！  #2019_12 #2019_12_11 #2019_12_11_11
Show threadQithub(bot)

🆕 新着Qiita記事をお知らせします。​

​『Prolog でわかる TAPL 13日目 - 第Ⅵ部 高階の型システム (2)』
https://qiita.com/h_sakurai/items/4594041f8dc7e1f242c8 by @h_sakurai @​Qiita

#prolog_qiita #tapl_qiita

Prolog でわかる TAPL 13日目 - 第Ⅵ部 高階の型システム (2) - Qiita

# Prolog でわかる TAPL 13日目 - 第Ⅵ部 高階の型システム (2) > ![アレクサンドル・カバネル『ヴィーナスの誕生』（1863年）](https://upload.wikimedia.org/wikipe...

Dec 11, 2019 at 3:00amWeb