From d92e388eb1bc364f955f7d8e358010494b39a9e7 Mon Sep 17 00:00:00 2001
From: Your Name <you@example.com>
Date: Thu, 20 Oct 2016 23:36:15 +0200
Subject: [PATCH] Add fstar and fsharp to development set

---
 sets/development.conf | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/sets/development.conf b/sets/development.conf
index 37561b3..7b4b35e 100644
--- a/sets/development.conf
+++ b/sets/development.conf
@@ -54,3 +54,7 @@
 # scala
 * dev-lang/scala-bin
 * dev-scala/sbt
+
+# fstar
+dev-lang/fstar
+dev-lang/fsharp