For a language that touts its practicalities, the name isn't a great start. Alth... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		xedrac 11 months ago \| parent \| context \| favorite \| on: F: A proof oriented general purpose programming l... For a language that touts its practicalities, the name isn't a great start. Although Flang or F***lang (maybe Foq?) seem like reasonable search proxies.

markusde 11 months ago [–]

Foq is hilarious, especially given that just today Coq released its website with its new name (Rocq)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact