blob: 89de04b35cfeaef7841fefc6c29660e5835b2a1d (
plain)
1
2
3
4
5
6
7
8
9
10
|
Breaks the loop between SimplEnv and MagicUFs, by telling SimplEnv all
it needs to know about MagicUFs (not much).
\begin{code}
interface SmplLoop where
import MagicUFs (MagicUnfoldingFun )
data MagicUnfoldingFun
\end{code}
|