From c989c428bf822480dfb866b1c33340a1a3d2e41a Mon Sep 17 00:00:00 2001 From: Flavian Kaufmann Date: Wed, 21 May 2025 07:58:15 +0200 Subject: readme typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index e42bb9f..5420053 100644 --- a/README.md +++ b/README.md @@ -19,7 +19,7 @@ A small interpreter of the IMP programming language. ## Resources -- [Formal Methods and Function Programming (Course Webpage), ETHZ](https://infsec.ethz.ch/education/ss2025/fmfp.html) +- [Formal Methods and Functional Programming (Course Webpage), ETHZ](https://infsec.ethz.ch/education/ss2025/fmfp.html) ## IMP -- cgit v1.2.3