Skip to content

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/

Notifications You must be signed in to change notification settings

uds-psl/ps-category-theory-seminar-17

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

You can find templates for the exercise sheets for phase 1 in sheets/basis-x. In sheets/basis-0 there is an example sheet that shows you how to create exercises and solutions.

All macros are in headers/definitions.tex. Please use the macros from this file and only add new ones if necessary.

About

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/

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages