From fce0a2999c59a72ed4fc473aff598cc7749f73f5 Mon Sep 17 00:00:00 2001 From: Flavian Kaufmann Date: Wed, 21 May 2025 07:57:08 +0200 Subject: readme resources --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index 71e545c..e42bb9f 100644 --- a/README.md +++ b/README.md @@ -17,6 +17,10 @@ A small interpreter of the IMP programming language. - [bison](https://www.gnu.org/software/bison) - [readline](https://tiswww.case.edu/php/chet/readline/rltop.html) +## Resources + +- [Formal Methods and Function Programming (Course Webpage), ETHZ](https://infsec.ethz.ch/education/ss2025/fmfp.html) + ## IMP -- cgit v1.2.3