diff options
| author | Flavian Kaufmann <flavian@flaviankaufmann.ch> | 2025-05-21 07:57:08 +0200 |
|---|---|---|
| committer | Flavian Kaufmann <flavian@flaviankaufmann.ch> | 2025-05-21 07:57:08 +0200 |
| commit | fce0a2999c59a72ed4fc473aff598cc7749f73f5 (patch) | |
| tree | 4decb4ae8f7087782367d0b6ebd62dc66da27037 | |
| parent | eab00131b086b379c9e983fa8165405f48738b6d (diff) | |
| download | imp-fce0a2999c59a72ed4fc473aff598cc7749f73f5.tar.gz imp-fce0a2999c59a72ed4fc473aff598cc7749f73f5.zip | |
readme resources
| -rw-r--r-- | README.md | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |