Synquid – program synthesis with refinement typescomcom.csail.mit.edu2 points·relevate··0 commentsOpen articleSaveView on HN