数据库中间件
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<div id="top"> | |
<a href="#A">A</a> | |
<a href="#B">B</a> | |
<a href="#C">C</a> | |
</div> | |
<div id="A"> | |
<a href="#B">B</a> | |
<a href="#C">C</a> | |
</div> | |
<div id="B"> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Test.QuickCheck | |
import Nnhp | |
{- For most of the problems, randomly choosen parameters | |
- are not a good test, as some obvious combinations are | |
- not likely to be generated, not matter how interresting | |
- they are to the test case at hand. | |
-} | |
-- P01 |