lecture notes on stlc