Agda書くとみんなフォントに困る…と，思う．Agda標準ライブラリの時点で_⊔_とか_⊎_とか⟨_⟩とか普通のランゲッジでは使わないような文字入りの演算が目白押しだ．当然下手なフォント設定すると正しく表示されない．プログラミングに適したmonospaceのフォント…