eschnett / wavetoy7
49%

DEFAULT BRANCH: master
Repo Added
Files 13
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

LAST BUILD ON BRANCH master
branch: master
CHANGE BRANCH
x

20

push

travis-ci

eschnett 
Add more proofs

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

28 of 28 new or added lines in 2 files covered. (100.0%)

326 of 661 relevant lines covered (49.32%)

0.49 hits per line

Relevant lines Covered
661 RELEVANT LINES 326 COVERED LINES
0.49 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
20 master Add more proofs Add more proofs. Update to lts-11.8. Simplify Applicative tests. push eschnett travis-ci pending completion  
19 master Rename file Function.hs to MCategory.hs push eschnett travis-ci pending completion  
18 master Add MFunctor test cases push eschnett travis-ci pending completion  
17 master Prove certain properties push eschnett travis-ci pending completion  
16 master Clean up code push eschnett travis-ci pending completion  
15 master Turn ChebFun into an MCategory push eschnett travis-ci pending completion  
14 master Test MCategory instance of ChebFun push eschnett travis-ci pending completion  
13 master Introduce MCategory, categories with flexible morphisms push eschnett travis-ci pending completion  
12 master Add restricted test for function composition for ChebFun push eschnett travis-ci pending completion  
11 master New module ChebFun Function composition is broken. push eschnett travis-ci pending completion  
See All Builds (18)