Inria Prosecco Admin (Karthik)
Results
1
issues of
Inria Prosecco Admin (Karthik)
For generating F* code that typechecks out of the box, we need to add some range annotations to source hacspec. I suggest we add a macro which is something like:...
lib :books:
typechecker :necktie: