lib: tuples are non-informative too - Githubissues

FStarLang / pulse

The Pulse separation logic DSL for F*

Apache License 2.0

6 stars 7 forks source link

lib: tuples are non-informative too #192

Closed mtzguido closed 2 months ago