2 ms·
https://sep.yimg.com/ty/cdn/paulgraham/bellanguage.txt?t=1570864329& https://sep.yimg.com/ty/cdn/paulgraham/bellanguage.txt?t=157... explains the purpose of the
by neonate 7y ago
https://sep.yimg.com/ty/cdn/paulgraham/bellanguage.txt?t=1570864329& https://sep.yimg.com/ty/cdn/paulgraham/bellanguage.txt?t=157... explains the purpose of the project. It's an attempt to axiomatize a complete programming language the way that McCarthy's Lisp did for computability.
Sounds serious to me. Why can't it be both?