@lambdaNik How many notions of star did you end up having in this paper?
@lambdaNik I wonder how you do real numbers in F*. Is there a new draft / code you could share? :)
@lambdaNik Is this a refinement type system for quantum programs?
@lambdaNik How many notions of star did you end up having in this paper?
@lambdaNik I wonder how you do real numbers in F*. Is there a new draft / code you could share? :)
@lambdaNik Is this a refinement type system for quantum programs?