[WIP]Update document

「コンピュテーション式とアサーションを用いてテストを書く」ので、

You can write the tests **by** using ``test`` computation expressions and assertion functions.

でしょうか。