Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

Use the actual copyright symbol ©

  • Loading branch information...
commit b84a3c36a9a4af0b57d75cbfdc8bd044250005de 1 parent 91e4985
Johan Kiviniemi authored March 17, 2013
4  LICENSE
... ...
@@ -1,5 +1,5 @@
1  
-Copyright (c) 2010-2013 Edward Kmett
2  
-Copyright (c) 2013 Johan Kiviniemi
  1
+Copyright © 2010-2013 Edward Kmett
  2
+Copyright © 2013 Johan Kiviniemi
3 3
 
4 4
 All rights reserved.
5 5
 
2  ersatz.cabal
@@ -20,7 +20,7 @@ description:    A monad for expressing SAT or QSAT problems using observable sha
20 20
   .
21 21
   > half_adder :: Bit -> Bit -> (Bit, Bit)
22 22
   > half_adder a b = (a `xor` b, a && b)
23  
-copyright:      (c) 2010-2013 Edward Kmett, (c) 2013 Johan Kiviniemi
  23
+copyright:      © 2010-2013 Edward Kmett, © 2013 Johan Kiviniemi
24 24
 build-type:     Custom
25 25
 cabal-version:  >= 1.10
26 26
 tested-with:    GHC == 7.4.1, GHC == 7.6.2
2  src/Ersatz.hs
... ...
@@ -1,6 +1,6 @@
1 1
 --------------------------------------------------------------------
2 2
 -- |
3  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  3
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
4 4
 -- License   :  BSD3
5 5
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
6 6
 -- Stability :  experimental
2  src/Ersatz/Bit.hs
@@ -11,7 +11,7 @@
11 11
 {-# OPTIONS_HADDOCK not-home #-}
12 12
 --------------------------------------------------------------------
13 13
 -- |
14  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  14
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
15 15
 -- License   :  BSD3
16 16
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
17 17
 -- Stability :  experimental
2  src/Ersatz/Bits.hs
@@ -3,7 +3,7 @@
3 3
 {-# LANGUAGE DeriveDataTypeable #-}
4 4
 --------------------------------------------------------------------
5 5
 -- |
6  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  6
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
7 7
 -- License   :  BSD3
8 8
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
9 9
 -- Stability :  experimental
2  src/Ersatz/Decoding.hs
@@ -2,7 +2,7 @@
2 2
 {-# LANGUAGE TypeFamilies #-}
3 3
 --------------------------------------------------------------------
4 4
 -- |
5  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  5
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
6 6
 -- License   :  BSD3
7 7
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
8 8
 -- Stability :  experimental
2  src/Ersatz/Encoding.hs
@@ -2,7 +2,7 @@
2 2
 {-# LANGUAGE TypeFamilies #-}
3 3
 --------------------------------------------------------------------
4 4
 -- |
5  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  5
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
6 6
 -- License   :  BSD3
7 7
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
8 8
 -- Stability :  experimental
2  src/Ersatz/Equatable.hs
@@ -11,7 +11,7 @@
11 11
 {-# OPTIONS_HADDOCK not-home #-}
12 12
 --------------------------------------------------------------------
13 13
 -- |
14  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  14
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
15 15
 -- License   :  BSD3
16 16
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
17 17
 -- Stability :  experimental
2  src/Ersatz/Internal/Circuit.hs
... ...
@@ -1,7 +1,7 @@
1 1
 {-# LANGUAGE DeriveDataTypeable #-}
2 2
 --------------------------------------------------------------------
3 3
 -- |
4  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  4
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
5 5
 -- License   :  BSD3
6 6
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
7 7
 -- Stability :  experimental
2  src/Ersatz/Internal/Formula.hs
@@ -10,7 +10,7 @@
10 10
 {-# OPTIONS_HADDOCK not-home #-}
11 11
 --------------------------------------------------------------------
12 12
 -- |
13  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  13
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
14 14
 -- License   :  BSD3
15 15
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
16 16
 -- Stability :  experimental
2  src/Ersatz/Internal/Literal.hs
... ...
@@ -1,7 +1,7 @@
1 1
 {-# LANGUAGE DeriveDataTypeable #-}
2 2
 --------------------------------------------------------------------
3 3
 -- |
4  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  4
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
5 5
 -- License   :  BSD3
6 6
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
7 7
 -- Stability :  experimental
2  src/Ersatz/Internal/Parser.hs
... ...
@@ -1,6 +1,6 @@
1 1
 --------------------------------------------------------------------
2 2
 -- |
3  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  3
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
4 4
 -- License   :  BSD3
5 5
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
6 6
 -- Stability :  experimental
2  src/Ersatz/Internal/StableName.hs
... ...
@@ -1,7 +1,7 @@
1 1
 {-# OPTIONS_HADDOCK not-home #-}
2 2
 --------------------------------------------------------------------
3 3
 -- |
4  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  4
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
5 5
 -- License   :  BSD3
6 6
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
7 7
 -- Stability :  experimental
2  src/Ersatz/Problem.hs
@@ -15,7 +15,7 @@
15 15
 {-# OPTIONS_HADDOCK not-home #-}
16 16
 --------------------------------------------------------------------
17 17
 -- |
18  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  18
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
19 19
 -- License   :  BSD3
20 20
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
21 21
 -- Stability :  experimental
2  src/Ersatz/Solution.hs
@@ -3,7 +3,7 @@
3 3
 {-# LANGUAGE ImpredicativeTypes #-}
4 4
 --------------------------------------------------------------------
5 5
 -- |
6  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  6
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
7 7
 -- License   :  BSD3
8 8
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
9 9
 -- Stability :  experimental
2  src/Ersatz/Solver.hs
... ...
@@ -1,6 +1,6 @@
1 1
 --------------------------------------------------------------------
2 2
 -- |
3  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  3
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
4 4
 -- License   :  BSD3
5 5
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
6 6
 -- Stability :  experimental
2  src/Ersatz/Solver/Common.hs
... ...
@@ -1,6 +1,6 @@
1 1
 --------------------------------------------------------------------
2 2
 -- |
3  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  3
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
4 4
 -- License   :  BSD3
5 5
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
6 6
 -- Stability :  experimental
2  src/Ersatz/Solver/DepQBF.hs
... ...
@@ -1,6 +1,6 @@
1 1
 --------------------------------------------------------------------
2 2
 -- |
3  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  3
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
4 4
 -- License   :  BSD3
5 5
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
6 6
 -- Stability :  experimental
2  src/Ersatz/Solver/Minisat.hs
... ...
@@ -1,6 +1,6 @@
1 1
 --------------------------------------------------------------------
2 2
 -- |
3  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  3
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
4 4
 -- License   :  BSD3
5 5
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
6 6
 -- Stability :  experimental
2  src/Ersatz/Variable.hs
@@ -5,7 +5,7 @@
5 5
 {-# LANGUAGE UndecidableInstances #-}
6 6
 --------------------------------------------------------------------
7 7
 -- |
8  
--- Copyright :  (c) Edward Kmett 2010-2013, Johan Kiviniemi 2013
  8
+-- Copyright :  © Edward Kmett 2010-2013, Johan Kiviniemi 2013
9 9
 -- License   :  BSD3
10 10
 -- Maintainer:  Edward Kmett <ekmett@gmail.com>
11 11
 -- Stability :  experimental
2  tests/doctests.hsc
@@ -3,7 +3,7 @@
3 3
 -----------------------------------------------------------------------------
4 4
 -- |
5 5
 -- Module      :  Main (doctests)
6  
--- Copyright   :  (C) 2012-13 Edward Kmett
  6
+-- Copyright   :  © 2012-2013 Edward Kmett
7 7
 -- License     :  BSD-style (see the file LICENSE)
8 8
 -- Maintainer  :  Edward Kmett <ekmett@gmail.com>
9 9
 -- Stability   :  provisional

0 notes on commit b84a3c3

Please sign in to comment.
Something went wrong with that request. Please try again.