4 ms·
F* is a research project thats almost 15 years old! Its not part of the recent wave of languages
by TypingOutBugs 2y ago
F* is a research project thats almost 15 years old! Its not part of the recent wave of languages
- mpweiher 2y agoCool! Though I'd say we've been stuck since about the 80s.