From f0d5edba580fcd47f67e77866b6f1bd7777b37af Mon Sep 17 00:00:00 2001
From: Trebor-Huang <2300936257@qq.com>
Date: Sun, 5 Mar 2023 15:00:00 +0800
Subject: [PATCH] Update readme

---
 README.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/README.md b/README.md
index b7659a3..c8ace6b 100644
--- a/README.md
+++ b/README.md
@@ -39,7 +39,6 @@ This is my coursework. I have already finished the submitted version (`d0aaf51`)
   - Cite Tom de Jong's stuff?
   - Mention forcing & realizability?
   - Cite 1lab properly
-  - Use `fancyvrb` to improve code display?
 
 ## Conventions