equal
deleted
inserted
replaced
|
1 {-# LANGUAGE ImpredicativeTypes #-} |
1 module Main where |
2 module Main where |
2 |
3 |
3 import qualified MODULE as M |
4 import qualified MODULE as M |
4 |
5 |
5 main = undefined $ M.FUNCTION PARAMETERS |
6 main = undefined $ M.FUNCTION PARAMETERS |