Homeworks

Домашки

Session1

Имя	Линк на домашку
Олег Нижников	https://github.com/Odomontois/sequentrun/tree/master/src/main/scala/lambda/untyped https://github.com/Odomontois/seqrunh/tree/master/src/Lambda/Untyped
sigevsky	https://github.com/sigevsky/lambda-and-friends/tree/master/src

Session2

Имя	Линк на домашку
Алексей Троицкий	https://github.com/road21/sequents-hw/tree/master/session2/src/Lambda/Untyped/Scoped

Session3

Имя	Линк на домашку
Алексей Троицкий	https://github.com/road21/sequents-hw/blob/master/session3/src/Lambda/STLC/Smallstep.idr