search

snu-sf-class / pl2015spring

SNU 4190.310, 2015 Spring
11 stars 6 forks source link

Final exam StlcProp and Typechecking #155

Closed minitu closed 4 years ago

minitu commented 9 years ago

Are StlcProp and Typechecking sections part of the final exam? I believe they weren't covered in class, but I don't remember if professor Hur told us to read them.

AdamBJ commented 9 years ago

I'd also like to know the answer to this question.