Pinned Repositories
fstar-mode.el
Emacs support for F*
ProjectScaffold
A prototypical .NET solution (file system layout and tooling), recommended by the F# Foundation.
sdia3's Repositories
sdia3/fstar-mode.el
Emacs support for F*
sdia3/ProjectScaffold
A prototypical .NET solution (file system layout and tooling), recommended by the F# Foundation.