README.md 259 Bytes
Newer Older
Alberto S. Cattaneo's avatar
Alberto S. Cattaneo committed
1
2
# Choice in CoDesign

Alberto S. Cattaneo's avatar
Alberto S. Cattaneo committed
3
4
5
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.