This is Technique, a programming language for describing procedures in a structured but human-readable form. You can consider it a domain-specific language (DSL) for writing procedures and checklists.