6 lines
49 B
Agda
6 lines
49 B
Agda
module DupImport
|
|
|
|
import Prelude
|
|
import Prelude
|
|
|
module DupImport
|
|
|
|
import Prelude
|
|
import Prelude
|
|
|