[Haskell-ELTE] Agda eloadas diak magyarul

[Dr. ERDI Gergo]

On Sun, 17 Apr 2011, Peter Divianszky wrote:

> Jó lenne ha egymásnak is adnánk elő cikkeket, de ez úgy látom csak úgy megy 
> hogy valaki önállóan felkészül egy cikkből/témakörből és előadja.
> Engem most az Agda témakör érdekel legjobban, felkészülés után elő tudnék 
> adni sok minden érdekeset: ko-indukció, univerzumok, homotópia-típuselmélet, 
> observational equality.

A koinduktiv tipusokrol es a korekurziv fuggvenyekrol lehetne azt h MINEL 
ELOBB valamit tartsal, hogy me'g en is meghallgathassam?

-- 

   .--= ULLA! =-----------------.
    \     http://gergo.erdi.hu   \
     `---= gergo at erdi.hu =-------'
A ferfi jutalma a no, a no jutalma, hogy o a jutalom.