Бага: Юникод в [code] всё / Обсуждение нашего сайта (архив)

ReSQL.ru

Мобильная версия Контакт Правила FAQ Помощь

Гость

Войти | Регистрация | Профиль | Очистить

Новые сообщения | Избранное

Форумы | Пользователи | Статистика | Мод. лог | Поиск

Доб. в избранное | Игнор. тему | Прикреп. тему | Пометить прочит. / непрочит. | Фильтр

Форумы / Обсуждение нашего сайта (архив) [закрыт] [закрыт для гостей] / Бага: Юникод в [code] всё

2 сообщений из 2, страница 1 из 1

Бага: Юникод в [code] всё

#15963286

Strangecat

Участник

Сообщения: 268

Рейтинг: 0 / 0

Как мне пропагандировать величие функциональных языков и каждодневное чтение SICP'а над поклонением императивным убожествам типа Java когда

Код

&∀ a b : &ℕ,  a + b &≡ b + a

превращается в набор всяких амперсандов и цифр? В agda полно юникода.

Текст вот этого сообщения: http://imgur.com/MR3VQUB

А рендерится отстойно.

...

Рейтинг:

0 / 0

02.05.2014, 09:26

| Цитировать для копирования

Бага: Юникод в [code] всё

#15994195

Изопропил

Участник

Сообщения: 33 046

Рейтинг: 0 / 0

в теме - entity коды тоже не воспринимаются

...

Рейтинг:

0 / 0

09.05.2014, 01:05

| Цитировать для копирования

2 сообщений из 2, страница 1 из 1

Форумы / Обсуждение нашего сайта (архив) [закрыт] [закрыт для гостей] / Бага: Юникод в [code] всё

Цитировать

Написать

Автор*:

Ввести пароль для входа

Тема*:

Сообщение

Данное сообщение тематическое

Сообщение содержит картинки или видео 18+

Автор:

ВНИМАНИЕ! На данном подфоруме действуют строгие правила. Удостоверьтесь, что ваше сообщение соответствует им!

Отправка сообщений невозможна. Либо форум либо тема закрыты, либо вы заблокированы!

Загрузить последнюю сохраненную версию

Вложение:

Вставить как галерею

Максимальный размер вложений: 4,0 МБ, аудио/видео: 8,0 МБ. Картинки большего размера ужимаются, если возможно.

Введите код, изображенный на картинке. Если код нечитаемый, кликните картинку, чтобы загрузить другой вариант.

Отправляя сообщение, я выражаю свое согласие с правилами форума и принимаю пользовательское соглашение.

Читали тему (0):

Читали форум (0):

Пользователи онлайн (0):

start [/forum/search_topic.php?author=%D0%95%D0%BB%D0%B0%D0%B3%D0%B8%D0%BD+%D0%9F%D0%B0%D0%B2%D0%B5%D0%BB&author_mode=last_posts&do_search=1]:	0ms
get settings:	9ms
get forum list:	12ms
get settings:	7ms
get forum list:	12ms
check forum access:	4ms
check topic access:	4ms
track hit:	151ms
get topic data:	12ms
get first new msg:	7ms
get forum data:	2ms
get page messages:	45ms
get tp. blocked users:	2ms
others:	440ms

total:	707ms