Гость
Войти | Профиль | Очистить
Действия ...
Форумы / Обсуждение нашего сайта (архив) [закрыт] [закрыт для гостей] / Бага: Юникод в [code] всё / 2 сообщений из 2, страница 1 из 1
02.05.2014, 09:26
    #15963286
Strangecat
Strangecat
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Бага: Юникод в [code] всё
Как мне пропагандировать величие функциональных языков и каждодневное чтение SICP'а над поклонением императивным убожествам типа Java когда
Код
1.
&∀ a b : &ℕ,  a + b &≡ b + a
превращается в набор всяких амперсандов и цифр? В agda полно юникода.

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

А рендерится отстойно.
...
Рейтинг: 0 / 0
| Цитировать для копирования  
09.05.2014, 01:05
    #15994195
Изопропил
Изопропил
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Бага: Юникод в [code] всё
в теме - entity коды тоже не воспринимаются
...
Рейтинг: 0 / 0
| Цитировать для копирования  
Форумы / Обсуждение нашего сайта (архив) [закрыт] [закрыт для гостей] / Бага: Юникод в [code] всё / 2 сообщений из 2, страница 1 из 1
Целевая тема:
Создать новую тему:
Автор:
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение
созд. / загр.: 419ms
Закрыть
start [/forum/topic.php?fid=8&tablet=1&tid=1092442]:
 0ms
get settings:
 9ms
get forum list:
 14ms
check forum access:
 4ms
check topic access:
 4ms
track hit:
 31ms
get topic data:
 10ms
get forum data:
 2ms
get page messages:
 42ms
get tp. blocked users:
 1ms
others: 302ms
total:  419ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]