Like #Bitcoin Script, Simplicity is a low-level language that combines computations to build larger ones. Read how it leverages a well-defined combinator model for composing computations and achieving formal verification.
The latest from: @blksresearch
https://blog.blockstream.com/simplicity-holes-and-side-effects/