42
83%
master: 84%

Ran 29 Apr 2017 07:09AM UTC

Jobs 1

Files 2

Run time 0s

Badge

Embed ▾

pending completion

Build # 42

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Implement a unification framework.

Unification allows terms to be identified by substituting subterms
for free variables. The API here provides functions for computed
a unifiying substitution for two terms, and for applying such
substitutions to other terms and predicates.

Run Details

126 of 183 relevant lines covered (68.85%)

0.69 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
6	42.6 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	29 Apr 2017 07:09AM UTC	0	68.85	Travis Job 42.6

Source Files on build 42

Detailed source file information is not available for this build.

jbearer / hspl / 42
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 42

jbearer / hspl / 42 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 42

jbearer / hspl / 42
83%
master: 84%

README BADGES
x