heff

• Tutorial: heff, learned by writing it
• Reference: the language, its commands
• API: the library, a page for each module

Examples

Each directory of examples/ in the repository is a project:

• collatz/: a first C program, with an effect of its own, do statements, unit tests and a property.
• todos/: a terminal app; a cursor effect handled on a zipper.
• pages/: four web pages: a counter, a clock, a greeting, and a sum of vectors on the GPU.
• notes/: a page and its server, in one project.
• testbridge/: a Linux program that makes network devices by rtnetlink, with a provider of its own.