Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@Educorreia932
Educorreia932 authored Sep 16, 2024
1 parent 4e0e0f3 commit 86d2e69
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

# Recording

Recording is a REPL for a polymorphic $\lambda$-calculus with support for records and polymorphic operations over them.
Recording is a REPL for a $\lambda$-calculus with support for records and polymorphic operations over them.

# Installation

Expand Down Expand Up @@ -35,12 +35,12 @@ For information on how to use the interpreter, type `:h` in the REPL.

# Tests

In order to run the tests suite, execute:
To run the test suite, execute the following:

```
cabal test
```

---

This work has been done as part of my Master's thesis at [FEUP](https://sigarra.up.pt/feup/en/).
This work was part of my Master's thesis at [FEUP](https://sigarra.up.pt/feup/en/).

0 comments on commit 86d2e69

Please sign in to comment.