4 ms·
F* is older than a decade. Also it's a research project, so quite different than the random "memory safe" language iteration of the day.
by gwervc 2y ago
F* is older than a decade. Also it's a research project, so quite different than the random "memory safe" language iteration of the day.