k14 font

昔懐かしいのですが、なんとなく、まだ、使っていたり。ところが、

　　7x14 の方が足りない

Agda が結構記号使うんだが、xterm は半角の方を使うらしく。

少しずつ足してたんですが、あと20個くらいだなと思ったんだが、今日見てみたら、

　　700個足りない

なんか、Agda にだいぶ足した人がいるようだな。まぁ、理論的には、

　　ちまちま足していけば良いはず

ですが追いつけないかも。

同じことやってる人もいるが...

http://vega.pgw.jp/~kabe/vsd/k14/