Haggis is a pseudocode language with defined syntax and rules. It uses line numbers, indentation, and capitalization of keywords to structure code. Variables are declared with keywords like SET and TO and can be numeric, string, or arrays. Output is done with SEND and input with RECEIVE. Arithmetic, string concatenation, conditions, and loops can be written following Haggis conventions.