it looks like they are able to reference mscorlib https://github.com/FStarLang/F... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		platz on Sept 14, 2015 \| parent \| context \| favorite \| on: F* reworked and released as v0.9.0 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...

jaked89 on Sept 14, 2015 [–]

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...

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

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

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

platz on Sept 14, 2015 | [–]

ahh, good catch

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact