ReSQL.ru
     
powered by simpleCommunicator - 2.0.61     © 2026 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:00
| Цитировать для копирования  
Бага: Юникод в [code] всё
    #15994195
Фотография Изопропил
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Изопропил
Участник
в теме - entity коды тоже не воспринимаются
...
Рейтинг: 0 / 0
09.05.2014, 01:05:00
| Цитировать для копирования  
2 сообщений из 2, страница 1 из 1
Форумы / Обсуждение нашего сайта (архив) [закрыт] [закрыт для гостей] / Бага: Юникод в [code] всё
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение   Полит. конфиден.  
NoSQL.ru       Кролег: Проекты, Новости, Чат       РЕД ФОРУМ       Фотоальбом: Участники, Встречи
Закрыть
start [/forum/topic.php?fid=8&msg=15994195&tid=1092442]:
 0ms
get settings:
 14ms
get forum list:
 23ms
check forum access:
 6ms
check topic access:
 6ms
track hit:
 58ms
get topic data:
 20ms
get forum data:
 5ms
get page messages:
 83ms
get tp. blocked users:
 3ms
others: 250ms
total:  468ms
созд. / загр.: 468ms
x
x
Закрыть


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