15 lines
186 B
Agda
15 lines
186 B
Agda
module Derive
|
|
|
|
import Prelude
|
|
|
|
data Blah = Foo Int | Bar | Baz String
|
|
|
|
derive Eq Blah
|
|
derive Show Blah
|
|
|
|
main : IO Unit
|
|
main = do
|
|
printLn $ Foo 42
|
|
printLn $ Bar
|
|
printLn $ Baz "woo"
|