Mateusz Bujalski issues

Repositories
Issues
Comments

Results 1 issues of


                                            Mateusz Bujalski

Publishing F* as nuget

### IDEA With weekly binary packages fixed (https://github.com/FStarLang/FStar/pull/2275), it should be quite simple to extend the build process to also publish a nuget package. I have some bespoke powershell script...