AT
Он же ещё не подключен к чату...
Size: a a a
2020 June 23
IR
@google prove little fermats
VY
Давайте не размениваться на мелочи и сразу подрубать @CoqProofbot 😃
я так и не смог заставить его работать
VY
у меня есть @HaskyBot, но я не знаю где бы его запустить
о, у меня тоже такой есть (на основе telegram-bot-simple), но он пока мало умеет (тоже type/kind/eval и всё), но work in progress :) идея сделать что-то похожее на lambdabot, только для телеги (но не прицепляя лямбдабота, и переделать mueval по-своему)
VY
ок, пролистал чатик, я доделаю до какого-то состояния (но фиг его знает насколько скоро это случится, тк сейчас другим занят) и позову в "стейджинг-чатик" с этим ботом. ну или кто-то сделает это быстрее и лучше меня (что вполне вероятно, тк суммарно за последний месяц я потратил от силы пару-тройку часов на это дело, в первый день, пока интерес был)
ХЛ
Кто такой lambdabot?
VY
это он https://wiki.haskell.org/Lambdabot (см список фич)
ХЛ
это он https://wiki.haskell.org/Lambdabot (см список фич)
Выглядит внушительно
AT
Давайте не размениваться на мелочи и сразу подрубать @CoqProofbot 😃
сразу с козырей заходишь 😂
ГК
хм, а в мире есть бот на Idris?)
AT
хм, а в мире есть бот на Idris?)
может в завтипном чате знают люди
2020 June 24
JS
Чтобы человек пишущий в кложе мог хотя бы вопросы примерные задать когда увидит новое видео Гранина или Вершилова
по вашим заявкам t.me/haskell4students
YS
по вашим заявкам t.me/haskell4students
Ого, круто!
AT
по вашим заявкам t.me/haskell4students
Надо делать франшизу x4students))
AT
И иерархию делать:
logic4students и haskell4students будут пререквизитами для coq4students
logic4students и haskell4students будут пререквизитами для coq4students
AT
Телеграмм-университет
AT
На самом деле не так глупо, как может показаться на первый взгляд... 🤔
AT
На самом деле не так глупо, как может показаться на первый взгляд... 🤔
Я только полушутил;)
AT
На самом деле haskell4students - это оч крутая инициатива