fix-redex-judgment-indentation.el

;; fix indentation of inference rules with no hypothesis in Redex
  (defun add-hyphens-as-racket-function (number-of-hyphens)
    (when (> number-of-hyphens 1)
      (put (intern (make-string number-of-hyphens ?-)) 'racket-indent-function
           (lambda (state indent-point normal-indent)
             (goto-char (elt state 1))
             (list (1+ (current-column)) (elt state 1))))
      (add-hyphens-as-racket-function (1- number-of-hyphens))))

  (add-hyphens-as-racket-function 102)

; Instead of getting a judgment rule formatted as:
; [--------------- "Rule-name"
;                  (judgment...)]
; get
; [--------------- "Rule-name"
;  (judgment...)]