imandra layer

Install

To use this configuration layer, add it to your ~/.spacemacs. You will need to add imandra to the existing dotspacemacs-configuration-layers list in this file.

;; List of configuration layers to load.
dotspacemacs-configuration-layers
'(
  (imandra :variables
           imandra-mode-backend 'merlin
           imandra-format-on-save t)
  )