先日MacBookAirにインストールしたAgda、とても快適に動くのだが、困ったことにtexモード（texコードを打ち込むとAquaemacs上でUnicodeの数学記号を出力する）の変換が出来ない。Ktさんに相談した結果、Texコードの変換機構は動いているが、emacsと日本語入…

湿度の高い日。出勤してコード書き、他に面倒なことが色々起こる。夜はCと梅田で待ち合わせ、「ストーク」でハンガリー風牛肉のソテーを食べる。大満足。帰宅は23時。