search

GaloisInc / ivory

The Ivory EDSL
http://ivorylang.org
BSD 3-Clause "New" or "Revised" License
393 stars 28 forks source link

GHC 8.8 compatibility #126

Closed dpwiz closed 4 years ago

dpwiz commented 4 years ago

Incorporates #123 and adds 8.8 travis build.

dpwiz commented 4 years ago

oops, there are some more 2,15,0 checks left.

dpwiz commented 4 years ago

@glguy Please do a hackage upload?