README.md

hoice-haskell

A haskell implementation of HoIce¹.

Installation

1. Install Z3 to your system. A working commit is 907d310600f54fda62ad3b742efe584e7ff21174.

Footnotes

1. Champion, Adrien, et al. "ICE-based refinement type discovery for higher-order functional programs." International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, Cham, 2018. ↩