Skip to content

Commit

Permalink
Merge pull request #16 from Gab-km/fixTranslationTypo
Browse files Browse the repository at this point in the history
Fix a typo in the translated text
  • Loading branch information
kurtschelfthout committed Sep 13, 2013
2 parents 29d67e8 + ee57783 commit 855b0b7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Docs/Documentation_ja.md
Original file line number Diff line number Diff line change
Expand Up @@ -510,7 +510,7 @@ let associativity (x:Tree) (f:Tree->float,g:float->char,h:char->int) = ((f >> g)
> Check.Quick associativity;;
Ok, passed 100 tests.
```
Tree -> 任意の型 の関数を生成できます。反例が見つかった場合は、関数値が "func" として表示されます。しかしながら、 FsCheck は Function 型を使用することで、より詳細に生成された関数を表示することができます。もしそれを使えば、 FsCheck は関数をシュリンクことさえ可能です。例は以下の通りです。
Tree -> 任意の型 の関数を生成できます。反例が見つかった場合は、関数値が "func" として表示されます。しかしながら、 FsCheck は Function 型を使用することで、より詳細に生成された関数を表示することができます。もしそれを使えば、 FsCheck は関数をシュリンクすることさえ可能です。例は以下の通りです。
```fsharp
let mapRec (F (_,f)) (l:list<int>) =
not l.IsEmpty ==>
Expand Down

0 comments on commit 855b0b7

Please sign in to comment.