Some examples?

[reflectionalist]

It would be nice to have some simple examples that illustrate the source syntax.

[Blaisorblade]

There's another repo (https://github.com/Toxaris/tsr-experiments/) comes from the old examples folder - but most of it are not examples. Still, at least the source code from the PLDI 2009 paper should be included - together with the more introductory examples you suggested.

[Toxaris]

There's an old readme file: http://www.informatik.uni-marburg.de/~rendel/metacircular/fomegastar-haskell/readme.txt

Some of its content could be reused for a user's guide.

[Toxaris]

If we add assertions to example files, they can also serve as tests (see #35).

[Blaisorblade]

I'll see what I can do here — above there are concrete and low-cost suggestions.

[Toxaris]

It would also be good to have some examples that don't type check with an explanation what the problem is and how to read the error message. Maybe we could extend the assertion mechanism to check for ill-typedness.

[Blaisorblade]

I think we have enough examples, and #94 tracks support for negative tests. Hence closing.