Symbolist: Engine for symbolic mathematics in Lisp-style S-exps in OCaml | Heykuki News