10 lines
95 B
Agda
10 lines
95 B
Agda
module ErrorDup
|
|
|
|
data Nat = Z | S Nat
|
|
|
|
data Nat = Z | S Nat
|
|
|
|
record Nat where
|
|
|
|
class Nat where
|