I moved to Mastodon. @masterq_mogumog @yukihiro_matz どうでした?あと最新の論文がります。是非一度で良いので目を通していただきたく。。。 Applied Type System / ats-lang.org/Papers.html#Ap… 2014-12-03 01:26:14
![matzにも解るよう、禅問答的に #ATS2 の型理論を説明してみたよ](https://cdn-ak-scissors.b.st-hatena.com/image/square/110446fd8c76805dc6c205b4279f3e9d06a59369/height=288;version=1;width=512/https%3A%2F%2Fs.togetter.com%2Fogp2%2F0ce44f112ce94e2e2af6f0f68616befe-1200x630.png)
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く