leanprover/verso

Add an example of a minimal genre

Closed this issue · 1 comments

RIght now, it's hard to figure out how to write a genre. It would be good to have a minimal example of a Verso genre, with comments, in the repository, checked with CI so it stays up to date.

This would be useful for a few people I've talked to, including @jim-portegies.

This was done in #87.