これまで tdiary 使って日記を書いていたのですが、コードをメモしておく機会が多くなるにつれ、どんどん使いにくくなってきまして…。
たとえば、コードは基本的に pre タグにいれて表示させるのですが、そうすると段落が切れますし、そうならないようにするにはほとんど HTML を生で書いてやる必要があります。それって、日記システム使ってる意味ないのでは？
また、コード本体を書くのにも問題があり、実体参照を手動で置き換えてやらなければならないとかいろいろ…。これでは毎回本文を書くまでに疲れてしまいます。
とりあえず、書きやすいところはないものかと、ちょっとはてなに浮気してみることに。
コード貼り付けのテスト
#include <iostream>
using namespace std;
int main()
{
cout << "Hello, World!" << endl;
}
#!/usr/bin/perl
print <>;
fibs = 0 : 1 : [x + y | (x,y) <- zip fibs (tail fibs)]
fib = (fibs !!)
さすがに Coq のスタイルはないか。
