fthomas / refined
97%
master: 58%

LAST BUILD BRANCH: numeric-types
DEFAULT BRANCH: master
Repo Added
Files 3
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 wip/inference
branch: wip/inference
CHANGE BRANCH
x

152

push

travis-ci

fthomas 
Add De Morgan's laws

126 of 130 relevant lines covered (96.92%)

2.91 hits per line

Relevant lines Covered
130 RELEVANT LINES 126 COVERED LINES
2.91 HITS PER LINE
Source Files on wip/inference
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
152 wip/inference Add De Morgan's laws push fthomas travis-ci pending completion  
151 wip/inference Rename Inference to InferenceRule push fthomas travis-ci pending completion  
146 wip/inference Less/Greater Inference for singleton types push fthomas travis-ci pending completion  
145 wip/inference Add inference tests push fthomas travis-ci pending completion  
144 wip/inference Move macro impl into Infer object push fthomas travis-ci pending completion  
143 wip/inference First sketch of inference rules push fthomas travis-ci pending completion  
See All Builds (169)