The polymorphic lambda calculus λ-2
https://www.youtube.com/watch?v=YgmjcdB694w&list=PLNwzBl6BGLwOKBFVbvp-GFjAA_ESZ--q4&index=8
https://www.youtube.com/watch?v=YgmjcdB694w&list=PLNwzBl6BGLwOKBFVbvp-GFjAA_ESZ--q4&index=8
YouTube
The Extension λ2 (Lambda Two) (3.1)
CONTENT
This video is part of the playlist "Lambda Cube Unboxed", a series of 13 videos that explores and exposes the basics of (un-)typed λ-calculus including higher-order parametric polymorphism and dependent types. The resources, from which this video…
This video is part of the playlist "Lambda Cube Unboxed", a series of 13 videos that explores and exposes the basics of (un-)typed λ-calculus including higher-order parametric polymorphism and dependent types. The resources, from which this video…
-Сартр звучит как салат, я бы съел
-мне кажется Сартр звучит как Суртр
-много чести
-мне кажется Сартр звучит как Суртр
-много чести
Empty Name
tfw взял тренера в зале (буквально его цитата)
бля он фанат берсерка, манги и j рока
по нему вообще не скажешь
еще у него на шее тату с символом из берсерка и в статусе написано «hamon user»
по нему вообще не скажешь
еще у него на шее тату с символом из берсерка и в статусе написано «hamon user»
❤4
около гейта для посадки есть пианино (kawai кстати), приехали мы рано, я решил скоротать время и поиграть перед отлетом
подходит чел и говорит: слышу играет песня из Sound of Metal, что за хуйня, мало кто ее знает, тем более чтобы в аэропорту еревана, еще и радиохед потом, респект тебе
рейс у него тот же, очевидно
подходит чел и говорит: слышу играет песня из Sound of Metal, что за хуйня, мало кто ее знает, тем более чтобы в аэропорту еревана, еще и радиохед потом, респект тебе
рейс у него тот же, очевидно
Empty Name
около гейта для посадки есть пианино (kawai кстати), приехали мы рано, я решил скоротать время и поиграть перед отлетом подходит чел и говорит: слышу играет песня из Sound of Metal, что за хуйня, мало кто ее знает, тем более чтобы в аэропорту еревана, еще…
как он через весь зал и шум расслышал радиохед я хуй знает
-в смысле у меня нет рабочего опыта?
смотри сколько разных профессий я уже освоил: преподаватель, репетитор, учитель, куратор, тьютор, лектор, грейдер, семинарист
смотри сколько разных профессий я уже освоил: преподаватель, репетитор, учитель, куратор, тьютор, лектор, грейдер, семинарист