diff options
| author | Flavian Kaufmann <flavian@flaviankaufmann.ch> | 2025-05-21 07:58:15 +0200 |
|---|---|---|
| committer | Flavian Kaufmann <flavian@flaviankaufmann.ch> | 2025-05-21 07:58:15 +0200 |
| commit | c989c428bf822480dfb866b1c33340a1a3d2e41a (patch) | |
| tree | e5037a22474cd82dc79cf588d0b6faf442028f32 /README.md | |
| parent | fce0a2999c59a72ed4fc473aff598cc7749f73f5 (diff) | |
| download | imp-c989c428bf822480dfb866b1c33340a1a3d2e41a.tar.gz imp-c989c428bf822480dfb866b1c33340a1a3d2e41a.zip | |
readme typo
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |