[Agda] Agda's syntax declaration

[Nils Anders Danielsson]

On 2017-11-03 16:58, Andrea Vezzosi wrote:
> About the list syntax, I was able to find this gist, not sure how well
> it works in practice though.
> 
> https://gist.github.com/bishboria/8568581

Note that regular list literals have the advantage that there is no need
to give parentheses around list elements, or around list literals.

-- 
/NAD