From ae0811fe3c801036e4e50c9155473c243c200817 Mon Sep 17 00:00:00 2001
From: Gabriel Rubens <grsabreu@gmail.com>
Date: Wed, 6 Oct 2021 14:36:19 -0300
Subject: [PATCH] Update README.md

---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index b200159..08e2c97 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,6 @@
-# What are GADTs?
+# lenses-ppx
+
+## What are GADTs?
 [GADTs: A primer](https://sketch.sh/s/yH0MJiujNSiofDWOU85loX/)
 
 # Why