From 4d44a6ac3696c1e3534e9a7a280aca3a2c02039c Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Thu, 19 Oct 2023 14:05:57 -0400
Subject: [PATCH] Rename nil' to lin

---
 src/Control/Lens/Cons.idr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Control/Lens/Cons.idr b/src/Control/Lens/Cons.idr
index 65c279b..254aca2 100644
--- a/src/Control/Lens/Cons.idr
+++ b/src/Control/Lens/Cons.idr
@@ -67,5 +67,5 @@ last_ @{_} @{MkIsOptional _} = snoc_ . second
 
 ||| Use a `Snoc` implementation to construct an empty sequence.
 public export
-nil' : Snoc s s a a => s
-nil' = review snocIso Nothing
+lin : Snoc s s a a => s
+lin = review snocIso Nothing