Commit acc5adfb authored by Alberto S. Cattaneo's avatar Alberto S. Cattaneo
Browse files


parent f801e2f9
# 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.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment