Uruchamianie:

/home/staff/iinf/daria/.cabal/bin/idris plik.idr

Zadania:

1. Dodaj let do wyrażeń interpretera w pliku interp-tutorial.idr

2. Uzupełnij plik L2-imp.v tak by powstał interpreter języka imperatywnego:
a) update  
b) eval
c) interp
d) ewentualnie for