Emacs support for F* - FStarLang |
GitHub | https://github.com/FStarLang/fstar-mode.el | |
Size | 1.7M (1.6M (+28K)) | |
Commits | 751 (750 (+1)) | |
Update Stats | 0s ... 56s [Ø (last 10) 1s (1,1,1,1,1,1,2,1,2,1))] | |
Last Change | 2023-06-21 21:08:46 | |
Last Check | 2023-09-16 14:26:34 | |
Created | 2022-07-24 10:58:27 |
Operation
Verifying url ...
Mail to Andreas Kupries