modify README

pingpingy1 · Nov 14, 2023 · 09965c5 · 09965c5
1 parent 5c4239c
commit 09965c5
Showing 1 changed file with 18 additions and 4 deletions.
diff --git 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
+	```