For once something new: module test
Start = test
:: A i = A i
:: B :== A.i: A i
test :: [B]
test = []
gives
lift (TFA) (unitype.icl)
on dreadful black screen.
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
