Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 11 lines (10 sloc) 0.237 kb
fe63a94 Add .ghci
3555003 authored
1 :set -XOverloadedStrings
2 :set -XGeneralizedNewtypeDeriving
3 :set -XDeriveDataTypeable
4 :set -XMultiParamTypeClasses
5 :set -XFunctionalDependencies
4ecb231 Jurriën Stutterheim Major cleanup/reordening. Also start on verification algorithm
norm2782 authored
6 :set -XFlexibleInstances
7 :set -XTypeSynonymInstances
fe63a94 Add .ghci
3555003 authored
8 :set -Wall
9 :set -isrc
10 :set -itest/suite
Something went wrong with that request. Please try again.