| (:*******************************************************:) | |
| (: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é") |