Also Nim has contracts and supports formal proofing: https://nim-lang.org/docs/d... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		dude12344 on July 13, 2022 \| parent \| context \| favorite \| on: Six programming languages I’d like to see Also Nim has contracts and supports formal proofing: https://nim-lang.org/docs/drnim.html

elcritch on July 14, 2022 [–]

A more practical one might be this contracts library https://github.com/Udiknedormin/NimContracts

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact