hacspec-python icon indicating copy to clipboard operation
hacspec-python copied to clipboard

Published 20 hours ago • verified publisher icon hacspec

Spec checker

Open franziskuskiefer opened this issue 6 years ago • 0 comments

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)

franziskuskiefer avatar Mar 24 '18 10:03 franziskuskiefer