[Haskell-ELTE] Agda eloadas diak magyarul

[Peter Divianszky]

>> 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?

Oké, akkor arra összpontosítok. Másokat is érdekelhet mert egy kicsit 
elhallgatott téma de alapvető lenne minden higher-order informatikusnak. :)

Egy hónapon belül, ha jól haladok a dolgaimmal akkor 2 hét múlva esélyes!