Сообщения UrbanSerj
[fp][theory]head normal form vs normal form
в чем различие?
/me всегда думал что normal form - это когда не возможна β-редукция, а выражение в head normal form имеет вид (λ[x1]..[xn] . Y[M1]..[Mm]), где Y - не λ-абстракция и не свободная переменная
но википедия редиректит с "head normal form" на "beta normal form"
ЖЖкапец
[UTF8]rxvt-unicode
после апгрейда etch'а до lenny rxvt-unicode перестал реагировать на ввод не-аски-символов и выводит unicode в 8-bit
посмотрел в http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=444078
locale выдал POSIX(почему ???), сменил на en_us.UTF8, без изменений..
может кто сталкивался?