view tests/pprint.ur @ 2024:6372a742ab04

Allow '+' char in blessMime See this one [1] for an example [1] - http://www.w3.org/TR/SVGTiny12/mimereg.html
author Sergey Mironov <grrwlf@gmail.com>
date Thu, 05 Jun 2014 20:36:12 +0000
parents 318ba997a149
children
line wrap: on
line source
fun isNone [a] (x : option a) =
    case x of
        None => True
      | Some _ => False