New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement kind-polymorphism and CCω #29

Closed

f-f wants to merge 1 commit into master from kind-poly

Owner

f-f commented Nov 24, 2018

Fix #23


          Fix #23: implement kind-polymorphism and CCω

062b9df

coveralls commented Nov 25, 2018

Pull Request Test Coverage Report for Build 126

0 of 0 changed or added relevant lines in 0 files are covered.
149 unchanged lines in 3 files lost coverage.
Overall coverage decreased (-0.3%) to 85.336%

Files with Coverage Reduction	New Missed Lines	%
dhall_clj/parse.clj	1	99.21%
dhall_clj/binary.clj	4	97.2%
dhall_clj/typecheck.clj	144	66.77%

Totals
Change from base Build 124:	-0.3%
Covered Lines:	2578
Relevant Lines:	3021

💛 - Coveralls

f-f force-pushed the master branch 2 times, most recently from ed9cae3 to e319458 Compare

November 27, 2018 23:28

Owner Author

f-f commented Nov 27, 2018

Fixed in e319458

f-f closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment