Hacker News new | ask | show | jobs
by notjack 3299 days ago
You might be able to use Rosette to implement refinement types on top of Hackett, giving you (I guess?) Liquid Hackett.