Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

avoid requiring submodules

  • Loading branch information...
commit 002694250fda1f372bc3a9ab21f4ec9df2610d0d 1 parent 825eb4e
@samth authored
Showing with 2 additions and 0 deletions.
  1. +2 −0  constraints.rkt
View
2  constraints.rkt
@@ -3,6 +3,8 @@
(caching-enabled? #f)
+(define-syntax-rule (module+ _ ...) (begin))
+
(define-language js
;; section 1 of andreas' pdf
[e x (dot e x) n (+ e e)]
Please sign in to comment.
Something went wrong with that request. Please try again.