Notation and terminology



husk-scheme online documentation rev 3.2 (2021.03.04)