Remove Proxy example
commite703a92d3dcca9ab99961a7ea2cd9218d157b8f1
authorPhil Freeman <paf31@cantab.net>
dateWed 29 Oct 2014, 09:43 (12 years ago)
parent222d151
examples/passing/Proxy.pursdeleted−7
@@ -1,7 +0,0 @@
1−module Main (Proxy1(), Proxy2()) where
2−
3−data Proxy1 f a = Proxy1 (f a)
4−
5−type Proxy2 f a = f a
6−
7−main = Debug.Trace.trace "Done"