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

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

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


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