Add Iron

clementi · Nov 2, 2023 · 3450f7c · 3450f7c
1 parent e93a87a
commit 3450f7c
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/index.html b/index.html
@@ -2699,6 +2699,19 @@ <h2>Redis Clients</h2>
             <h2>Refinement Types</h2>
             <ul>
 
+              <li data-search="refinement types
+                               iron
+                               scala scalajs native">
+                <a href="https://github.com/Iltotore/iron">Iron</a>
+
+                <span class="platform scala">scala</span>
+
+                <span class="platform scalajs">scalajs</span>
+
+                <span class="platform native">native</span>
+
+              </li>
+
               <li data-search="refinement types
                                refined
                                scala">