[Haskell-ELTE] Agda

[Dr. ERDI Gergo]

Hi,

tegnap Mate egy orajan tartottam rovid bemutatot az Agdarol. Akit erdekel, 
megtalalja a slide-okat es a (literate) Agda forrast a kovetkezo cimen:

http://gergo.erdi.hu/elte/2009-1-funprove/

bye,
 	Cactus

-- 

   .--= ULLA! =-----------------.   `We are not here to give users what
    \     http://gergo.erdi.hu   \   they want'  -- RMS, at GUADEC 2001
     `---= gergo at erdi.hu =-------'
Mindennek magas a fénytörési mutatója, ami fénylik.