[clean-list] Question

[Serguey Zefirov]

Hello clean-list,

1) IDE has unusual key bindings.
2) What's wrong with program:
------------------------------------------------------------
withinX :: *X (*World -> *World) -> *X
withinX (XX w) f
      # w1 = f w
      = XX w1
------------------------------------------------------------
Uniquenness error [test.icl, ,withinX] attribute atindicated position
could not be coerced ^ World

Also, is it possible to enclose unique types into algebraic types or
so?

I just try to understand applicability of linear logic.

-- 
Best regards,
 Serguey
 thesz na mail tochka ru
 (na == at, tochka == dot)