kateinoigakukunのブログ

思考垂れ流しObserver

2018-04-08から1日間の記事一覧

├の読み方

「├ 読み方 数学」とかいうアホっぽいクエリを投げてしまった。 シークエント - Wikipedia 一番悲しくなったのは、この記号が出現した数行下にキチンと解説してあったこと。さすが型システム入門、素晴らしい入門書だ。