6
83%
master: 84%

Ran 29 Apr 2017 07:09AM UTC

Files 2

Run time 0s

Badge

Embed ▾

Committed 29 Apr 2017 06:59AM UTC coverage: 68.852% (+14.6%) from 54.255%

Job # BUILD=stack ARGS="" TESTARGS="--coverage --haddock"

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

jbearer / hspl / 42 / 6
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 42.6 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 42 / 6 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 42.6 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 42 / 6
83%
master: 84%

README BADGES
x