/fstardoc

Tool for nicely extract documentation for F* files

Primary LanguageF*

fstardoc Build Status

A tool for nicely extract documentation for F* files

How to Run

python3 fstardoc.py {path to fst/fsti file}