2 ms·
F* (f star) too! https://www.fstar-lang.org/ https://www.fstar-lang.org/ Maybe also ATS, but I'm unsure if it qualifies
by corebuffer 5y ago
F* (f star) too!
https://www.fstar-lang.org/ https://www.fstar-lang.org/
Maybe also ATS, but I'm unsure if it qualifies