Seite 1 von 1

Slides for second lecture now available

Verfasst: 18. Apr 2012 18:28
von sewe
The slides for tomorrow's lecture are online already: https://cage.st.informatik.tu-darmstadt ... slides.pdf (You will need to login with your RBG username and password.)

Re: Slides for second lecture now available

Verfasst: 19. Apr 2012 18:46
von sewe
Additionally, the interpreters for F1WAE (WAE with first-order funtions) are now available in the SVN: https://cage.st.informatik.tu-darmstadt ... 012-04-19/.