# Choice in CoDesign
A Haskell module implementing definitions from the "Choice in CoDesign" Report by Marius Furter (available in git repository proj-sp-furter/report). This module was written by Prof. Alberto Cattaneo and was annotated by Marius Furter.
