Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Remove problematic ADTs from MultipleDefinitions.

  • Loading branch information...
commit c393a18142e0611dc1c9e79efe4c801cac4a4665 1 parent 61bad35
@atomb authored
Showing with 0 additions and 4 deletions.
  1. +0 −4 examples/MultipleDefinitions.hs
View
4 examples/MultipleDefinitions.hs
@@ -2,14 +2,10 @@ module MulitpleDefinitions where
import Prelude ()
-data List a = Nil | Cons a (List a)
-
data Color = Red | Green | Blue
data Maybe a = Nothing | Just a
-data Unit = Unit
-
data Bool = True | False
map :: (a -> b) -> [a] -> [b]
Please sign in to comment.
Something went wrong with that request. Please try again.