Update CODING.md

Co-authored-by: Jan Mas Rovira <janmasrovira@gmail.com>
anoma · Oct 1, 2024 · 53ff6c5 · 53ff6c5
1 parent 22329d9
commit 53ff6c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CODING.md b/CODING.md
@@ -8,7 +8,7 @@
 - prefer enumerations with meaningful names over booleans, e.g., instead of using `Bool` define:
 
 ```
-type Transferability := Transferable | NonTransferable
+type Transferability := Transferable | NonTransferable;
 ```
 
 ## Imports