GitHub repository: kyoDralliam/fstar-layer
Primary language: Emacs Lisp
Created: 2017-01-11T10:30:32Z
Description: Spacemacs layer for fstar (wrapper for fstar-mode.el)