1
私はウィキからAgdaのWindowsバイナリをインストールしたのですが、何らかの理由(ブールのためのスタンプによって自由Agda帳で使用される)blackboard bold B symbolが間違って表示されます。私はfont as hereを変更しようとしましたが、うまくいきませんでした。Emacsのboolシンボルを修正するには、Emacsの16進数と十進数の正方形のボックスとして表示されますか?
問題は何ですか?私のコンピュータ上で
まだフォントの問題である可能性があります。 DejaVu Sans Monoは私が推薦するものです。 –
いいえ...フォントの設定が何らかの理由でこれらの特殊文字に影響するとは思いません。 Emacsの問題だと思われますが、バイナリでパッケージ化されたものを直接使っていますので、これは変です。私はWindows 10を使用しています。 –
アップデート:フォントの問題です。私がそれを平凡なDejaVu Sansに設定すると、シンボルが正しく表示されます。しかし、彼らはあなたが推奨するDejaVu Sans Monoを含むほとんどのフォントではありません。多分私はそれらを[Wiki](http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.HowToSeeUnicode)のものに置き換えようとします。 –