Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

2020 January 16

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Daniel Matveev
фиксация же в принципе определяется баиндингом переменной в описании типа?

т.е. если бы сигнатура писалась как Inductive eq (A : Type) (a: A) A : Prop, то последний аргумент никак не определен и его надо указывать в конструкторе, а с переменной он будет фиксирован уже в любом случае (или также Inductive eq (A : Type) : (a : A) -> A -> Prop)
источник

KS

Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
А утро тяжёлое у меня оказывается
источник

KS

Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Vλadimir
Кирилл, ты кстати почему врешь
Кому вру, братик?
источник

DM

Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Kirill Shelopugin
Данила)) тебе уже несколько человек сказали что твой мета-юмор никто не понимает
сейчас бы Яна считать
источник

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Daniel Matveev
сейчас бы Яна считать
Эх, сча бы считать
источник

DM

Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
эх
источник

DM

Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
да
источник

KS

Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Не, не Ян, Гриша ,то ли или кто говорил
источник

ὦan in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Вот это поворот
источник

ὦan in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
такого снобизма я еще не видел
источник

KS

Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
ὦan
такого снобизма я еще не видел
Ну а хули, вот так они в своих группах для умничей и общаются
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Kirill Shelopugin
Разве на лостфильме есть субтитры? Вообще мы смотрим с женой, а ей лень напрягаться смотреть на ангельском, так что смотрим на русском
Мы давно переключились на ангельский - это хорошая подмога изучению языку, как подтверждают многие преподаватели
источник

KS

Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Элитарное общество
источник

DM

Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
ὦan
такого снобизма я еще не видел
видел, память короткая
источник

KS

Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Oleg ℕizhnik
Мы давно переключились на ангельский - это хорошая подмога изучению языку, как подтверждают многие преподаватели
Я знаю, да, она тип на курсы ходит и устает там от объема ангельского, сил нет смотреть ещё дома
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Купили подписку на puzzle movies когда-то
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Oleg ℕizhnik
Мы давно переключились на ангельский - это хорошая подмога изучению языку, как подтверждают многие преподаватели
факт
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
главное субтитры русские не ставить
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Там двойные субтитры
источник

ὦan in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Я вот понял что субтитры скользкая тема
источник