diff --git a/README.md b/README.md
index fd823fe..3a02d2c 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,8 @@
-# λχ[ ]
+<div align=center>
+   <img src="logo.png">
+</div>
 
-λχ[ ] is a polymorphic λ-calculus with support for records and operations to modify them. 
-This repository contains an Haskell implementation of the calculus and a REPL to interact with it.
+Recording is a REPL for a polymorphic $\lambda$-calculus with support for records and polymorphic operations over them.
 
 # Installation
 
diff --git a/citation.bibtex b/citation.bibtex
index 681d094..62fd3e4 100644
--- a/citation.bibtex
+++ b/citation.bibtex
@@ -1,7 +1,7 @@
 @software{Da Costa Correia:2024,
    AUTHOR     = {Da Costa Correia, Eduardo},
-   MONTH      = may,
-   TITLE      = {{λχ[ ]}},
-   URL        = {https://github.com/Educorreia932/FEUP-DISS},
+   MONTH      = july,
+   TITLE      = {Recording},
+   URL        = {https://github.com/Educorreia932/Recording},
    YEAR       = {2024}
 }
\ No newline at end of file
diff --git a/logo.png b/logo.png
new file mode 100644
index 0000000..a716730
Binary files /dev/null and b/logo.png differ
diff --git a/lambda-chi-brackets.cabal b/recording.cabal
similarity index 87%
rename from lambda-chi-brackets.cabal
rename to recording.cabal
index 1a40c46..7a3a19d 100644
--- a/lambda-chi-brackets.cabal
+++ b/recording.cabal
@@ -1,21 +1,21 @@
 cabal-version:   3.0
-name:            lambda-chi-brackets
+name:            recording
 version:         0.1.0.0
 license-file:    LICENSE
 author:          Eduardo Correia
-maintainer:      skelozard1@gmail.com
+maintainer:      educorreia932@gmail.com
 category:        Language development
 build-type:      Simple
 extra-doc-files: CHANGELOG.md
 
 source-repository head
   type:     git
-  location: https://github.com/Educorreia932/FEUP-DISS
+  location: https://github.com/Educorreia932/Recording
 
 common warnings
   ghc-options: -Wall
 
-executable lambda-chi-brackets
+executable recording
   import:           warnings
   main-is:          Main.hs
   other-modules:
@@ -69,7 +69,7 @@ library
   hs-source-dirs:   src
   default-language: GHC2021
 
-test-suite lambda-chi-brackets-test
+test-suite recording-test
   type:             exitcode-stdio-1.0
   main-is:          Tests.hs
   other-modules:
@@ -82,7 +82,7 @@ test-suite lambda-chi-brackets-test
     , base                 ^>=4.18.2.0
     , containers
     , HUnit                ^>=1.6
-    , lambda-chi-brackets
+    , recording
     , ordered-containers
 
   hs-source-dirs:   tests