From 44518c9b7e4942b2484fa2024ea7bb75b908ed05 Mon Sep 17 00:00:00 2001
From: Robin Salkeld <salkeldr@amazon.com>
Date: Thu, 8 Jun 2023 13:29:12 -0700
Subject: [PATCH] Add smithy-dafny to implementations.rst

---
 docs/source-2.0/implementations.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/source-2.0/implementations.rst b/docs/source-2.0/implementations.rst
index f53e3c9348f..b1161e4a3a6 100644
--- a/docs/source-2.0/implementations.rst
+++ b/docs/source-2.0/implementations.rst
@@ -168,6 +168,10 @@ of polish or that they work for all use cases.
       - Kotlin
       - 0.x
       - Swift client code generation for Smithy.
+    * - `Dafny <https://github.com/awslabs/smithy-dafny>`_
+      - Java
+      - 0.x
+      - Dafny client and library code generation for Smithy.
     * - `Scala code generation for Smithy <https://github.com/disneystreaming/smithy4s>`_
       - Scala
       - 0.x