Сборник различных бесплатно-скачиваемабельных книг по математике
http://www.mth.kcl.ac.uk/MAO/ContentsPag...
Навелосипедил зависимые типы в Shen и написал в "бложек":
http://4da.livejournal.com/10464.html#cu...
Теперь система типов может таскать размер с массивом, помимо его типа.
Интерес, конечно, скорее теоретический, нежели практический.
> Some people see a problem and think "I know, I'll use Haskell!" Now they have a monoid in the category of problems.
Кто (возможно) будет на *17th Estonian Winter School in Computer Science (EWSCS)* ?
http://cs.ioc.ee/ewscs/2012/
У кого есть *Coxeter H.S.M. — Introduction to geometry* хорошего качества в pdf-ке?
Subscribe to *math
0xd34df00d
4da
238328
ulidtko
jabber
rapture
magog
zw0rk
Elemir
0x2207
werehuman
utros
MPogoda
13oz
folex
gisty
lukish
dorfe
eurekafag
snakehoney
Crazy_Owl
gds
kb
Like-all
Minoru
gelraen
Manik
CodeMonkey
arts
Cthulhu
clayrat
vannadiz
setazer
0anon
RainerGomes
xujgavno
Desu1488
Apathism
Aika
Eight
svtk
hirthwork
octocat
nya
sigmakyte
chemikadze
iLeamare
folone
DancingWolf
Daniil_TrueIfrit
mva
add comment
