Jun. 20th, 2017

* * *

Jun. 20th, 2017 09:23 am
bamalip: (Default)
Во что может превратиться ваша квартира без отдельного помещения для майнинга:

* * *

Jun. 20th, 2017 07:57 pm
bamalip: (Default)
david-christiansen дает советы для команды lean по поводу введения макросов:
https://github.com/leanprover/lean/issues/1674

Profile

bamalip: (Default)
шерстяной ленин

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
1011 12 13 14 1516
1718 19 20212223
24252627282930

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 21st, 2017 05:27 pm
Powered by Dreamwidth Studios