Add fstar module

2020-02-02 10:40:25 -05:00 · 2020-02-02 10:40:25 -05:00 · 0c08143a22
commit 0c08143a22
parent a12a54b28f
4 changed files with 63 additions and 0 deletions
--- a/init.example.el
+++ b/init.example.el
@ -121,6 +121,7 @@
       ;;ess               ; emacs speaks statistics
       ;;faust             ; dsp, but you get to keep your soul
       ;;fsharp           ; ML stands for Microsoft's Language
+       ;;fstar             ; (dependent) types and (monadic) effects and Z3
       ;;go                ; the hipster dialect
       ;;(haskell +dante)  ; a language that's lazier than I am
       ;;hy                ; readability of scheme w/ speed of python