Changed project's name to Recording

Educorreia932 · Jul 18, 2024 · 9b8b4c6 · 9b8b4c6
1 parent d897e70
commit 9b8b4c6
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 12 deletions.
diff --git 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
@@ -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}
 }
diff --git a/logo.png b/logo.png
diff --git a/lambda-chi-brackets.cabal → recording.cabal b/lambda-chi-brackets.cabal → 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