eschnett / wavetoy7 / 20 / 1
49%
master: 49%

DEFAULT BRANCH: master
Ran
Files 13
Run time 1s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 49.319% (-0.5%) from 49.847%
20.1

push

travis-ci

eschnett 
Add more proofs

Add more proofs.
Update to lts-11.8.
Simplify Applicative tests.

326 of 661 relevant lines covered (49.32%)

0.49 hits per line

Source Files on job 20.1