Re:Coq mulls new name for programming language
by yakubin on Tuesday June 15, 2021 @06:08AM
(#27513184)
I thought forking referred to what's happening to the process tree, similar to what forking means in chess.
[ Parent
| on HN ]