(:*******************************************************:) | |
(:Test:fn-iri-to-uri1args-2:) | |
(:Written By:Joanne Tong:) | |
(:Date:2005-09-29T15:09:57+01:00:) | |
(:Purpose:Test iri-to-uri from example defined in functions and operators specification:) | |
(:*******************************************************:) | |
iri-to-uri("http://www.example.com/~bébé") |