5 ms·
For a language that touts its practicalities, the name isn't a great start. Although F*lang or F***lang (maybe Foq?) seem like reasonable search proxies.
by xedrac 2y ago
For a language that touts its practicalities, the name isn't a great start. Although F*lang or F***lang (maybe Foq?) seem like reasonable search proxies.
- markusde 2y agoFoq is hilarious, especially given that just today Coq released its website with its new name (Rocq)