miniblog.

I'm experimenting with syntax in examples. I don't really like Rust's `assert(inc(1) == 2)` syntax, I find it a little distracting. I'm trying `inc(1) //-> 2`. The comment is rendered differently, and there's nothing before the sample code. What do you think?

Go has an elegant approach to defining example functions, which are shown in docs as `main()` with the output:

Implementing type checking as another interpreter, with short, accessible examples: