[ init ] README + gitignore
[ PoC ] (ab)Using Agda's syntax definitions

Various examples on how to use Agda's syntax definitions to build up
complicated notations (e.g. involving telescopes).