One of the author's PhD thesis and the 'Patobook' are on the site, rendered, as examples. Unfortunately though their source doesn't seem to be.
From what I've seen in the Patobook, it seems so similar to Latex (or *TeX perhaps, I'm not familiar with the differences) as to be a re-implementation - so I'm not convinced even what makes it 'modern' as claimed is explained.
With the exception of sections, actually. But you could define `=> <= -> <-` to begin/end (numbered) sections anyway.
From what I've seen in the Patobook, it seems so similar to Latex (or *TeX perhaps, I'm not familiar with the differences) as to be a re-implementation - so I'm not convinced even what makes it 'modern' as claimed is explained.
With the exception of sections, actually. But you could define `=> <= -> <-` to begin/end (numbered) sections anyway.