Hacker News new | ask | show | jobs
Synquid – program synthesis with refinement types (comcom.csail.mit.edu)
2 points by relevate 3805 days ago