Gabriel Ebner comments

Repositories
Issues
Comments

Results 361 comments of


                                            Gabriel Ebner

FStar.Char: move type into smaller FStar.Char.Type module

I'm not sure if it's worth it to automate the interface-generation step, but I think a reasonable policy would be that interfaces shouldn't depend on "proof modules": ``` ❯ fstar.exe...