2nd
01:41 pm

(no subject)

- 26 comments

3rd
12:17 pm

Арфа-графия

- 1 comment

12:34 pm

Зачем нужны OTT (Observational Type Theory) и HoTT (Homotopic Type Theory)

- 21 comments

4th
12:22 am

(no subject)

- 3 comments

10:31 am

(no subject)

- 4 comments

11:03 am

(no subject)

- 6 comments

11:34 am

(no subject)

- 3 comments

12th
10:48 pm

(no subject)

- 10 comments

17th
09:41 pm

(no subject)



09:41 pm

(no subject)



10:00 pm

(no subject)

- 1 comment

19th
07:29 am

(no subject)

- 6 comments

20th
03:05 am

Scala distilled

- 28 comments
Tags:

04:04 am

(no subject)

- 13 comments

09:16 pm

Vision of Scala 3

- 83 comments
Tags:

22nd
09:36 am

(no subject)



23rd
03:37 pm

(no subject)

- 20 comments

05:08 pm

(no subject)



05:11 pm

(no subject)

- 4 comments

25th
03:37 am

(no subject)

- 5 comments

04:51 am

(no subject)

- 11 comments

30th
04:03 am

10 лет

- 1 comment

04:05 am

(no subject)

- 1 comment

31st
01:05 am

(no subject)

- 1 comment

05:05 am

(no subject)

- 1 comment

06:25 am

Типотеоретическое

- 2 comments

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 Aug. 15th, 2025 09:29 am
Powered by Dreamwidth Studios