Spec checker #9
Description
Tracking progress on the spec checker. There are currently three separate efforts
- haskell checker in spec-checker
- python checker in spec-checker/spec-checker.py
- ocaml checker in spec-checker-ocaml (branch)
{{ message }}
Tracking progress on the spec checker. There are currently three separate efforts