[Haskell-ELTE] Agda eloadas diak magyarul

[Peter Divianszky]

Sziasztok!

Még él a Haskell önképzőkör!

Azért írok mert Szegeden előadtam Agdából (Haskell++),
és feltettem a diákat (sajnos Explorerrel nem megy):

http://pnyf.inf.elte.hu/fp/Szeged.xml

Az 'a' gomb megnyomásával dia módba vált, de ekkor nem látszanak a plusz 
megjegyzések.

Idézet a diákról:
"Az induktív családok az általánosított algebrai adatszerkezetek (GADT) 
általánosításai."
Egyébként az induktív családokról akarok egy külön összefoglalót írni.

A diákat elő szeretném adni majd az Intellifactorynál is angolul.

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.

Üdv,
Peti