Concise Syntax Reference

[jgarte]

Hi,

I plan to eventually have a concise reference on Idris syntax

Is there any way that I can start work on this reference?

What are your thoughts for how to structure the reference?

[stefan-hoeck]

There is an issue open about this. I thought about an appendix explaining Idris syntax in some detail.