Típuselmélet

Előadás

lib.agda

Gyakorlat

gy01.agda
gy02.agda
gy03.agda
gy04.agda
gy04.agda
gy05.agda
gy06.agda
gy07.agda
gy08.agda
gy09.agda

Házi feladatok

bead01.agda
bead02.agda
bead03.agda
bead04.agda
bead05.agda
bead06.agda
bead07.agda
bead08.agda
bead09.agda
bead10.agda

Kis ZH-k

zh2-01.agda
zh2-02.agda
zh2-03.agda
zh3-04.agda
zh2-05.agda
zh2-06.agda
zh2-07.agda
zh08.agda
zh09.agda