tmhglnd/mercury-workshop
A repository with references, cheatsheet, exercises and more helpful references for when giving a Mercury workshop/course.
A repository with references, cheatsheet, exercises and more helpful references for when giving a Mercury workshop/course.