issues
search
ocaml-gospel
/
gospel
A tool-agnostic formal specification language for OCaml.
https://ocaml-gospel.github.io/gospel
MIT License
123
stars
16
forks
source link
Add test case for pattern analysis of tuple
#400
Closed
n-osborne
closed
3 months ago
n-osborne
commented
4 months ago
Related to #399
n-osborne
commented
3 months ago
Merging as it only add a new test case.
Related to #399