Fernando Lobato Meeser

Results 1 issues of Fernando Lobato Meeser

There are no linguistic limits on the amount of nesting permitting when using macros that allow arbitrary predicates such as the `all` macro. This can result in exponential runtime evaluation...