AG
докажи вот лучше
map2 : Term d g (Box [a] (a ~> b) ~> Box [b] c ~> Box [a] c)map2 = Lam $ Lam $ Shut $ Open (Var Here)
{e=[App (Open (Var $ There Here)) -- {e=[Var Here]}
(Var Here)]}
Size: a a a
2020 July 09
AG
доказуемо в K
M
А сейчас я ещё чуть-чуть попридумыаю, что сделать с хранением информации и последующим формированием отчётов для таргетинга и, наконец-то, посплю нормально
AG
какой бы придумать пример чтобы было доказуемо только в S4
V
/shipping@SHIPPERINGbot
S
V
/pidorules@SublimeBot
S
Правила игры Пидор Дня (только для групповых чатов):
1. Зарегистрируйтесь в игру по команде /pidoreg/pidoreg
2. Подождите пока зарегиструются все (или большинство :)
3. Запустите розыгрыш по команде /pidor/pidor
4. Просмотр статистики канала по команде /pidorstats/pidorstats, /pidorall/pidorall
5. Личная статистика по команде /pidorme/pidorme
6. Статистика за 2018 год по комнаде /pidor2018/pidor2018 (так же есть за 2016-2017)
7. (Только для администраторов чатов): удалить из игры может Админ канала, выведя по команде список игроков: /pidormin list
Удалить игрока можно по команде (используя идентификатор пользователя - цифры): /pidormin del 123456
Важно, розыгрыш проходит только раз в день, повторная команда выведет результат игры.
Сброс розыгрыша происходит каждый день в 12 часов ночи по UTC+2 (или два часа ночи по Москве).
Поддержать бота можно по ссылке :)
1. Зарегистрируйтесь в игру по команде /pidoreg/pidoreg
2. Подождите пока зарегиструются все (или большинство :)
3. Запустите розыгрыш по команде /pidor/pidor
4. Просмотр статистики канала по команде /pidorstats/pidorstats, /pidorall/pidorall
5. Личная статистика по команде /pidorme/pidorme
6. Статистика за 2018 год по комнаде /pidor2018/pidor2018 (так же есть за 2016-2017)
7. (Только для администраторов чатов): удалить из игры может Админ канала, выведя по команде список игроков: /pidormin list
Удалить игрока можно по команде (используя идентификатор пользователя - цифры): /pidormin del 123456
Важно, розыгрыш проходит только раз в день, повторная команда выведет результат игры.
Сброс розыгрыша происходит каждый день в 12 часов ночи по UTC+2 (или два часа ночи по Москве).
Поддержать бота можно по ссылке :)
V
/pidor@SublimeBot
S
Я нашел пидора дня, но похоже, что он вышел из этого чата (вот пидор!), так что попробуйте еще раз!
V
/pidor@SublimeBot
S
Я нашел пидора дня, но похоже, что он вышел из этого чата (вот пидор!), так что попробуйте еще раз!
V
/pidor@SublimeBot
S
Woop-woop! That's the sound of da pidor-police!
S
Интересно...
S
Высокий приоритет мобильному юниту.
S
Что? Где? Когда? А ты пидор дня - @arinakulova
LP
Что? Где? Когда? А ты пидор дня - @arinakulova
Хих
LP
/pidorme@SublimeBot
S
@Luger_08, ты был(а) пидором дня — 6 раз!