From 09965c57d81af91899e5a278da69a98728f336c7 Mon Sep 17 00:00:00 2001
From: pingpingy1 <pingpingy@kaist.ac.kr>
Date: Tue, 14 Nov 2023 22:39:45 +0900
Subject: [PATCH] modify README

---
 README.md | 22 ++++++++++++++++++----
 1 file changed, 18 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index f57023a..f85965e 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,21 @@
 HoPRe is a pun-recognition software based on first-order logic and lambda calculus.
 
 ## Installation
-TBD
-
-## Execution
-TBD
+1. Clone this repository.
+	```bash
+	git clone https://github.com/pingpingy1/HoPRe.git
+	cd HoPRe
+	```
+2. Create and activate a Python virtual environment.
+	```bash
+	pyenv virtualenv 3.10.7 hopre3107
+	pyenv local hopre3107
+	```
+3. Install required packages.
+	```bash
+	python setup.py
+	```
+4. Run HoPRe.
+	```bash
+	python -m hopre.core
+	```