protocol: Add Arith
[majurity.git] / hjugement / test / QuickCheck / HLint.hs
1 ../HLint.hs