-;;; fstar-mode.el -- support for the F* language in Emacs -*- lexical-binding: t -*-
+;;; fstar-mode.el --- support for the F* language in Emacs -*- lexical-binding: t -*-
 
 ;; Copyright (C) 2015 Clément Pit--Claudel
 ;; Author: Clément Pit--Claudel <clement.pitclaudel@live.com>

  (setq-local indent-line-function #'fstar-indent)
  (electric-indent-mode -1))

(define-derived-mode fstar-mode prog-mode "F✪"
  :syntax-table fstar-syntax-table
  (fstar-setup-fontlock)

  (fstar-setup-indentation)
  (flycheck-mode))

;;;###autoload
(add-to-list 'auto-mode-alist '("\\.fs[ity]\\'" . fstar-mode))

;;; Footer

