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

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

  [bindings & body]
  `((quote assume) ~bindings ~body))

(defmacro have
  {:style/indent [1]}
  [& args]
  `((quote have) ~@args))

