Feb. 8th, 2016

66george: (киса)
Поставил Agda и вычислил "три факториал". Аж заколдобился, как в детство вернулся.

Profile

66george: (Default)
66george

May 2019

S M T W T F S
    1234
5678 9 1011
12 13 14 15161718
19202122232425
262728293031 

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 18th, 2025 10:53 am
Powered by Dreamwidth Studios