Open Drup opened 9 years ago
According to @chambart, Presburger Arithmetic is encodable in regexps and would allow to express numerical guards for url components.
Such wonderful expressive powers would come at the cost of double exponential (apparently) blowup and probably type insanity.
@chambart volunteered for such a task.
According to @chambart, Presburger Arithmetic is encodable in regexps and would allow to express numerical guards for url components.
Such wonderful expressive powers would come at the cost of double exponential (apparently) blowup and probably type insanity.
@chambart volunteered for such a task.