blob: 2ae72ba491c0af114ad687a80f348cc59d05ceed (
plain)
1
2
3
4
5
6
7
8
9
|
-- !!! Re-defining Prelude entities
module Ring where
import qualified Prelude
import Data.List ( nub )
l1 + l2 = l1 Prelude.++ l2
l1 * l2 = nub (l1 + l2)
succ = (Prelude.+ 1)
|