diff --git a/docs/build/smart-contracts/archetype.md b/docs/build/smart-contracts/archetype.md index bc52d23..091358b 100644 --- a/docs/build/smart-contracts/archetype.md +++ b/docs/build/smart-contracts/archetype.md @@ -11,8 +11,8 @@ hide_title: true [Archetype](https://archetype-lang.org) is a DSL \(domain-specific language \) for Tezos which facilitates formal verification and transcodes contracts to SmartPy and LIGO. -* [Medium article](https://medium.com/coinmonks/archetype-a-dsl-for-tezos-6f55c92d1035%20) -* [How To Verify a smart contract with Archetype](https://medium.com/coinmonks/verify-a-smart-contract-with-archetype-6e0ea548e2da%20) +* [Medium article](https://medium.com/p/6f55c92d1035) +* [How To Verify a smart contract with Archetype](https://medium.com/p/6e0ea548e2da) Archetype is funded by the Tezos Foundation and developed by [edukera](http://www.edukera.com/).