Add fstar and fsharp to development set

2016-10-20 23:36:15 +02:00 · 2016-10-20 23:36:15 +02:00 · d92e388eb1
commit d92e388eb1
parent 48de18c4db
1 changed files with 4 additions and 0 deletions
--- 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