probability icon indicating copy to clipboard operation
probability copied to clipboard

Published 20 hours ago • verified publisher icon fieldstrength

Update to be compatible with Idris 1.3.1

Open lambdacasserole opened this issue 6 years ago • 1 comments

This PR should update the library to be compatible with Idris 1.3.1. The error pointed out by @ivanperez-keera is also addressed here. Tested and seems to be working great. Does bring the changes across from PR #1 so major props to @clayrat.

lambdacasserole avatar Jul 02 '19 11:07 lambdacasserole

This also fixes the Travis build.

lambdacasserole avatar Jul 02 '19 21:07 lambdacasserole