Closed ecboghiu closed 3 months ago
Go beyond known and unknown atoms, and also represent monomials that encode do conditionals, with the appropriate supports for monomial sanitisation and input.
Done in 92c2ec8.
Go beyond known and unknown atoms, and also represent monomials that encode do conditionals, with the appropriate supports for monomial sanitisation and input.