[Haskell-ELTE] Agda szamitasok felgyorsitasa Haskellbe lenyomassal

[Dr. ERDI Gergo]

Hi,

Tudom, hogy meg a feltetelezes is felhaborito, hogy lenne itt barki is aki 
nincs feliratkozva a blogom RSS feed-jere (:)), de megis felhivnam a 
figyelmeteket a legutobbi bejegyzesemre, amely arrol szol, hogy hogyan 
gyorsitottam fel az Agda termeszetesszam-aritmetikajanak egy kis szeletet, 
nemi elmeleti megalapozottsag felaldozasa aran:

http://gergo.erdi.hu/blog/2010-04-19-unary_arithmetics_is_even_slower_than_you%27d_expect/

Udv,
 	Cactus

-- 

   .--= ULLA! =-----------------.   `We are not here to give users what
    \     http://gergo.erdi.hu   \   they want'  -- RMS, at GUADEC 2001
     `---= gergo at erdi.hu =-------'
A tojások csirkékkel szaporodnak.