   [bindings & body]
   `((quote assume) ~bindings ~body))
 
-
+(defmacro have
+  {:style/indent [1]}
+  [& args]
+  `((quote have) ~@args))
+

                                                       :doc (mk-doc (quote ~ty) ~doc)
                                                       :arglists (list (quote ~params)))))
         [:declared :axiom (quote ~def-name)]))))
;;{
;; ## Top-level term parsing
;;}

;;}

(defmacro lambda
  {:style/indent [1 :form :form]} 
  [bindings body]
  `((quote  λ) ~bindings ~body))

(defmacro forall
  {:style/indent [1 :form :form]} 
  [bindings body]
  `((quote Π) ~bindings ~body))

