Feb. 9th, 2016

66george: (киса)


Вычисление три факториал в Агде. Ответ внизу suc( suc( suc( suc( suc( suc zero))))). И теперь надо некоторую адскую теорему записать на этом смешном языке. В своё время пробовал учить Coq, но скоро заскучал от него, Agda же совсем смешная.

Profile

66george: (Default)
66george

August 2016

S M T W T F S
 1 23456
7 891011 12 13
1415161718 19 20
21 222324252627
28 293031   

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 28th, 2017 06:53 am
Powered by Dreamwidth Studios