ᛒ
Size: a a a
2020 July 28
λ
зачем тогда повторять что aot это просто оптимизация и если не работает то и ладно
Она работает
R
The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master’s students.
R
думаеш осилим?
ᛒ
думаеш осилим?
давай
ᛒ
если че сольемся
R
по-пидорски выйдет тада..
ᛒ
по-пидорски выйдет тада..
давай если че клейрату наноем
ᛒ
он нам поможет
R
ультанет на идрисе?
R
секвенциями
R
я и идрис то не знаю
R
Edwin Brady (University of St Andrews): The Implementation of Idris 2
ᛒ
по етому го
R
а там за деньги?
AT
Хорошая школа