nzyuzin / ps-category-theory-seminar-17 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from uds-psl/ps-category-theory-seminar-17
Exercise sheets for the Category theory seminar at the Programming Systems Lab, Saarland University, summer term 2017. https://courses.ps.uni-saarland.de/ct_ss17/