Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.
Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).
Όχι δεν μπορείτε
Ναι να τον ανεβάσω. Είναι μια παραλλαγή του κώδικα που υπάρχει ήδη στο lab040/typechecker.tar.gz. Όμως δεν είχαμε συνδέσει όλα όσα χρειάζονται για να δουλέψει το επιπλέον που γράψαμε στο εργαστήριο για τις συναρτήσεις.