3 ms·
Nice list! There's also F* under "F": https://www.fstar-lang.org/ https://www.fstar-lang.org/
by klibertp 10y ago
Nice list! There's also F* under "F": https://www.fstar-lang.org/ https://www.fstar-lang.org/
- qznc 10y agoThanks! Added that as well.