I tried looking for type theory learning resources for beginners but TAPL is the only one that suits my level. I did find a good collection fo resources on learn-tt but most of them are papers and in-depth books. Do you know any online classes, video lectures, course notes, or any similar resources for beginners? Ideally they should be at or below TAPL level with a focus on practice. Thanks.