search

JetBrains / Nitra

Public Nitra repository
Other
554 stars 43 forks source link

F* for Language Verification #46

Open sirinath opened 8 years ago

sirinath commented 8 years ago

It would be good to have F* for language verification as it has effect system which is not present in the other languages chosen for verification.