Transitive dependencies support

FStarLang / fstar-mode.el

Emacs support for F*

Apache License 2.0

67 stars 17 forks source link

Closed catalin-hritcu closed 8 years ago

catalin-hritcu commented 8 years ago

Just a heads up that F* now has experimental support for transitive dependencies via build-config. Editor support for this would of course be nice, if you have some more time to spare :) https://github.com/FStarLang/FStar/issues/272#issuecomment-157813151

msprotz commented 8 years ago

Closing since build-config is gone