I've also added a blog that illustrates the design differences between Terraform and Mantis. This includes code snippets. Thanks!

https://getmantis.ai/blog/how_mantis_iac_works