I'm puzzled over expressing non-emptiness. Say, I want to write a function that has a non-empty string parameter. How would one express this additional property as some form of constraint? Just to be clear, I'm not looking at implementing a new type of non-empty strings in parallel to the already existing strings.
Best regards, Marko
signature.asc
Description: PGP signature
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
