ekmett / bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

https://www.schoolofhaskell.com/user/edwardk/bound

Get Travis to build successfully with 8.0, 8.2, and HEAD

treeowl opened this issue 7 years ago · comments

David Feuer commented 7 years ago

The bot is b0rked.

Ryan Scott commented 7 years ago

Fixed in 78be1b5.