forallx-yyc
forallx-yyc copied to clipboard
Functions and mathematical examples
Should also cover functions, and mathematical examples (eg language of arithmetic)