AT
Size: a a a
2021 January 08
AT
Кок и лин в основных языках, агда с идрисом в допах
Oℕ
да, про кок я знал
AT
Там есть CoqLean и Kotlin ;)
V
невероятно
Увидел кота?
R
да, про кок я знал
в трусишках нашел?
AT
Ещё вот F* не хватает
R
AT
Олег вот напомнил, что я собирался порешать что-нить на рекомендованных всем понвом ресурсах. А в итоге все выходные днём пейпером занимался, а потом по гостям ездили
AT
зачем он тебе
больше пруверов разных надо
AT
здесь все также, как с другими языками программирования
R
здесь все также, как с другими языками программирования
ты что ли из этих, исследователей языков?
AT
ты что ли из этих, исследователей языков?
люблю это дело, ага
ZM
читал, что спутник-ви, но это не точно
И насколько её хватает?
ᛒ
Vasiliy ебать, иглы обещают на 2.7 переехать после одного обновления 2.5 версии, сука надеюсь они перфоманс завезут