https://hackage.haskell.org/package/spectacle https://hackage.haskell.org/package/spectacle "Spectacle is an embedded domain-specific language that provides a

https://hackage.haskell.org/package/spectacle https://hackage.haskell.org/package/spectacle "Spectacle is an embedded domain-specific language that provides a family of type-level combinators for authoring specifications of program behavior along with a model checker for verifying that user implementations of a program satisfy written specifications." It's in Haskell, but...