datalog/tests/paren-examples/req.rkt
Sam Tobin-Hochstadt 8fd18912be Remove extra dirs.
2014-12-01 22:13:42 -05:00

5 lines
59 B
Racket

#lang datalog/sexp
(require racket/math)
(? (sqr 4 :- X))