May 24, 2024 in syntax 2 min read Equivalent expressions Use <=> to check whether two expressions are equivalent. Continue reading
May 18, 2024 in syntax 3 min read Substitutable Syntax |, { } and ( ) when they are substitutable and when not. Continue reading