From 8175c2a8ad45cfc6bb759ee523290361b89f63d8 Mon Sep 17 00:00:00 2001
From: Quantifier <42081488+Isaac-DeFrain@users.noreply.github.com>
Date: Wed, 19 Oct 2022 14:21:02 -0600
Subject: [PATCH] Update Archetype Medium links

---
 docs/build/smart-contracts/archetype.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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/).