haskell-language-server-2.7.0.0: plugins/hls-eval-plugin/test/testdata/TPropertyError.hs

-- Support for property checking
module TProperty where

-- prop> \(l::[Bool]) -> head l