4 ms·
You might be able to use Rosette to implement refinement types on top of Hackett, giving you (I guess?) Liquid Hackett.
by notjack 9y ago
You might be able to use Rosette to implement refinement types on top of Hackett, giving you (I guess?) Liquid Hackett.