on 11d4fee help sign in
Idris-dev/impl-paper/syntax.tex
1 line 26 B history raw
1\section{Syntactic Sugar}