3 ms·
Could this be added to Hackett, creating, perhaps, Hosette? [1] 1. https://lexi-lambda.github.io/blog/2017/05/27/realizing-hackett-a-metaprogrammable-haskell/
by DanielBMarkham 9y ago
Could this be added to Hackett, creating, perhaps, Hosette? [1]
1. https://lexi-lambda.github.io/blog/2017/05/27/realizing-hackett-a-metaprogrammable-haskell/ https://lexi-lambda.github.io/blog/2017/05/27/realizing-hack...
- notjack 9y agoYou might be able to use Rosette to implement refinement types on top of Hackett, giving you (I guess?) Liquid Hackett.