Updates to use Type instead of Star for GHC 8.8 and beyond. - Githubissues

GaloisInc / jvm-verifier

The Java Symbolic Simulator, part of SAW.

BSD 3-Clause "New" or "Revised" License

10 stars 2 forks source link

Updates to use Type instead of Star for GHC 8.8 and beyond. #9

Closed kquick closed 4 years ago