Re:Verified Programming in F*: A Tutorial
by tartrate on Monday January 04, 2021 @07:49AM
(#25630628)
No I was just hoping it was connected somehow. I only found a single mention of .NET:
> F* provides a facility to specify interfaces to external modules that are implemented elsewhere. For example, operations that perform file input/output are implemented by the operating system and made available to F* programs via the underlying framework, e.g., .NET or OCaml.
> F* provides a facility to specify interfaces to external modules that are implemented elsewhere. For example, operations that perform file input/output are implemented by the operating system and made available to F* programs via the underlying framework, e.g., .NET or OCaml.