Hacker News Reader

according to the tutorial "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."

View on HN

it looks like they are able to reference mscorlib https://github.com/FStarLang/FStar/blob/997b1f20f35142e65032... and F# with these externs https://github.com/FStarLang/FStar/blob/997b1f20f35142e65032...

This code exists in a folder named "old/to_be_ported", which might indicate that it no longer functions.

It appears that the correct way is to create a .fsi file.

A few examples: https://github.com/FStarLang/FStar/blob/4e4162f736195b2031ba...

https://github.com/FStarLang/FStar/blob/4e4162f736195b2031ba...

ahh, good catch

Reply on news.ycombinator.com