-
Notifications
You must be signed in to change notification settings - Fork 2
Homeworks
Aleksey Troitskiy edited this page Jan 28, 2019
·
5 revisions
Имя | Линк на домашку |
---|---|
Алексей Троицкий | https://github.com/road21/sequents-hw/tree/master/session2/src/Lambda/Untyped/Scoped |
Имя | Линк на домашку |
---|---|
Алексей Троицкий | https://github.com/road21/sequents-hw/blob/master/session3/src/Lambda/STLC/Smallstep.idr |