encoding glitch

[cponcelets]

In selfie/manuscript/semantics.md.
The symbol -- appears like —. However, it is not a markdown error.

Disassembler
: A computer program that translates machine language into assembly language -- the inverse operation to that of an assembler.

[cponcelets]

Idem in selfie/manuscript/state.md.

A programming paradigm — a style of building the structure and elements of computer programs — that expresses the logic of a computation without describing its control flow.

[ckirsch]

Thanks, @cponcelets I just fixed this.