4 ms·Spectacle – A Language for Writing and Checking Formal Specifications in Haskell7 points by hwayne 5y ago