Aug. 29th, 2015

akuklev: (ДР Цертуса 2011)
Slogan: Higher coinductive types should subsume second-countable topological spaces.

Read more... )

December 2016

S M T W T F S
    123
456789 10
11121314151617
18192021222324
25262728293031

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 2nd, 2025 07:22 am
Powered by Dreamwidth Studios