ecsd, 9 months ago @hosford42 @AKMA @ScruffyDux @actuallyautistic {laughs} I never wrote it. Since it's a common enough application {believe it or not}, others would have written dozens of variations. P.s.: if you think it sounds 'glamorous', there is already a well-known language that does it: LISP. Common Lisp, dude. See also the game "Wff'n'Proof", "wff" = "well-formed formula". Lambda Calculus is fun. https://en.wikipedia.org/wiki/WFF_%27N_PROOF
@hosford42 @AKMA @ScruffyDux @actuallyautistic
{laughs} I never wrote it. Since it's a common enough application {believe it or not}, others would have written dozens of variations.
P.s.: if you think it sounds 'glamorous', there is already a well-known language that does it: LISP. Common Lisp, dude.
See also the game "Wff'n'Proof", "wff" = "well-formed formula". Lambda Calculus is fun.
https://en.wikipedia.org/wiki/WFF_%27N_PROOF