Имбирь - твой спиритический овощ.
Войти
!bnw
Сегодня
Клубы
УНЯНЯ. У нас есть
немножечко инфы
об этом пользователе. Мы знаем, что он
понаписал
,
порекомендовал
и даже
и то и другое сразу
. А ещё у нас есть
RSS
.
Теги
:
Клубы
:
fp
shen
programming
math
Навелосипедил зависимые типы в Shen и написал в "бложек":
http://4da.livejournal.com/10464.html#cutid1
Теперь система типов может таскать размер с массивом, помимо его типа. Интерес, конечно, скорее теоретический, нежели практический.
#RU7DB1
(0) /
@ninesigns
/
4700 дней назад
BnW для ведрофона
BnW на Реформале
Викивач
Котятки
Цоперайт © 2010-2016
@stiletto
.