diff options
Diffstat (limited to '')
-rw-r--r-- | walint/CheckMap.hs (renamed from lib/CheckMap.hs) | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/lib/CheckMap.hs b/walint/CheckMap.hs index a2a0f9f..ef80a7f 100644 --- a/lib/CheckMap.hs +++ b/walint/CheckMap.hs @@ -1,14 +1,7 @@ -{-# LANGUAGE BangPatterns #-} {-# LANGUAGE DataKinds #-} -{-# LANGUAGE DeriveGeneric #-} -{-# LANGUAGE FlexibleContexts #-} -{-# LANGUAGE FlexibleInstances #-} -{-# LANGUAGE KindSignatures #-} {-# LANGUAGE LambdaCase #-} -{-# LANGUAGE NamedFieldPuns #-} {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE RecordWildCards #-} -{-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-} |