F* – an FP language with effects, aimed at verificationfstar-lang.org1 point·sriku··0 commentsOpen articleSaveView on HN