3 ms·
F* is a great idea for writing libraries that cannot fail. But setting up the environment could be better documented.
by estebarb 6y ago
F* is a great idea for writing libraries that cannot fail. But setting up the environment could be better documented.