▽seafood
●04/30 12:17 Sean Seefried
Error notes:client denied by server configuration: /import/pillbox

▽檜山正幸のｷﾏｲﾗ飼育記
●04/29 19:09 檜山正幸
2021-10-19
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題
雑記／備忘
ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語や型理論の文脈で､空ﾘｽﾄの型つけ〈ﾀｲﾋﾟﾝｸﾞ〉が話題になることがあります｡集合論と圏論で解釈してみると､結果が違ってきます｡発想が違うので結果がｽﾞﾚるのは驚くことではありませんが､意外に思う人もいるかも知れません｡内容…
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題

▽The Glasgow Haskell Compiler
●04/18 06:40
27 August 2021
GHC 8.10.7 Released! [download]

▽はてなﾀﾞｲｱﾘｰ - ytsの日記
●03/27 23:54 yts
このﾌﾞﾛｸﾞについて

▽YuichiTanakaの日記
●03/27 22:58 YuichiTanaka
このﾌﾞﾛｸﾞについて