Comment Comment by didibus Interesting, but why not then use an even stricter language? Say Idris, ATS, Lean or F* ? parent didibus 6 months ago
