# nLab pseudocode

Contents

### Context

#### Computing

intuitionistic mathematics

# Contents

## Idea

In computer science, by pseudo-code one means semi-formal writing which is sufficiently close to code in an actual programming language to be readily turned into such if desired, but which may be more pleasant or more convenient to read and write for human communication.