Make more quickcheck rules using typelevel arguments. - Githubissues

balodja / sesyrel

Trying to analytically integrate fault trees (with some dynamics).

BSD 3-Clause "New" or "Revised" License

1 stars 0 forks source link

Make more quickcheck rules using typelevel arguments. #12

Open balodja opened 10 years ago