Here's an [article](https://www.tweag.io/blog/2021-01-22-nickel-contracts/) on programming with contracts in Nickel, or as they call them, *glorified assertions*.
