dupworld/test.icl

   1 module test
   2
   3 Start :: *World -> Int
   4 Start w =
   5         let (w1, w2) = dup w
   6         in 42
   7
   8 dup :: *a -> *(*a, *a)
   9 dup a = (a, a)