au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

Add a simple iterator implementation #287

Closed xurtis closed 5 years ago

xurtis commented 5 years ago

This adds an example that demonstrates how a simple iterator can be constructed and used. It also shows how a program can be implemented with a minimal amount of anti-quoted C.

The makefile here is also intended to demonstrate the bare minimum needed to compile a full program from Cogent.