Demonstrating Shem & Golem

From Imperial College London Department of Computing's Open Day.

[@theraoulduke71]

Great, great stuff. Super great. Well done.

[@mykem]

Link to the git repository: github.com/xixixao/Shem

[@mmaroti]

How are type classes implemented? Can you point to some examples or writeup? Can you implement two monoids for the integers (additive, multiplicative)?

[@xixixao]

See www.dropbox.com/s/02adjyvrsc4pdof/report.pdf?dl=0