mlspec: Commit: 3b3d642f44f5ebf9ad9614dda54b6110c3a625e4

Branch: master

Author: Chris Warburton <chriswarbo@gmail.com>
Date: Sat Jun 2 02:24:59 PM UTC 2018
Commit: 3b3d642f44f5ebf9ad9614dda54b6110c3a625e4
Parent: 8f97e7f108930d57b8ccfc78ed0ee652e8008dd8 (diff to parent)
Log message:

    HLint

Diff Stat to 8f97e7f108930d57b8ccfc78ed0ee652e8008dd8:
src/MLSpec/Theory.hs (old)                                        (diff) | 2 +-
test/Main.hs (old)                                                (diff) | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

Files:


Generated by git2html.