Matrix-Haskell

说明

这个项目是我为了使用中山大学Matrix Oj系统而写的Haskell测评程序例。

这个例子需要使用QuickTest，Main.hs是程序的入口点，Prop.hs定义程序的性质，CheckProp.hs用Template Haskell实现了自动产生错误消息。Solution.hs是学生的作答文件。