From 9e461ebfeae434eab7a926c641c0d8923f6f9646 Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukasz@heliax.dev>
Date: Wed, 25 Sep 2024 17:24:53 +0200
Subject: [PATCH] record constructors

---
 CODING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CODING.md b/CODING.md
index 9788f2c90e..92a7672e68 100644
--- a/CODING.md
+++ b/CODING.md
@@ -23,7 +23,7 @@ type Transferability := Transferable | NonTransferable
 - functions, constructors, etc: lower camel case (`tokenLogic`, `transferLogic`)
 - instances: lower came case with `I` at the end (`instance eqNatI : Eq Nat := ..`)
 - boolean check functions: start with `is` (`isWhatever`)
-- constructors: `mk` + type name (`mkResource`)
+- record constructors: `mk` + type name (`mkResource`)
 - meaningful descriptive long names for arguments of public functions, e.g., `element`, `list`, `initialValue`
   - exception: common abbreviations allowed: `fun`, `acc`
 - short names like `x` are okay for local definitions