diff options
author | Eduardo Julian | 2021-08-19 04:59:06 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-19 04:59:06 -0400 |
commit | d772fe99d5d4990c6774481fb64d12280cdb6aae (patch) | |
tree | 209a2ce3b8e896be15db40bc58db830a5304b4f9 /documentation/bookmark/specification.md | |
parent | e00ba096c8837abe85d366e0c1293c09dbe84d81 (diff) |
Enabled compile-time code evaluation (i.e. "eval" function).
Diffstat (limited to 'documentation/bookmark/specification.md')
-rw-r--r-- | documentation/bookmark/specification.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/documentation/bookmark/specification.md b/documentation/bookmark/specification.md new file mode 100644 index 000000000..cac3f547a --- /dev/null +++ b/documentation/bookmark/specification.md @@ -0,0 +1,4 @@ +# Reference + +1. [Announcing Spectacle – A language for Writing and Checking Formal Specifications in Haskell](https://awakesecurity.com/blog/spectacle-a-language-for-writing-and-checking-formal-specifications-in-haskell/) + |