We’ll show Overleaf but you can also use your local LaTeX installation, if you have one.
Simple LaTeX file: https://www.overleaf.com/2132985825pthvvdsvwbyy
Bibliographies and localisation: https://www.overleaf.com/3495458755rhdzpptwpbbq
Examples and glossing: https://www.overleaf.com/7636734469djgvxgcktcbh
Slides: https://www.overleaf.com/read/gkkrzrqxjhhj and the corresponding …
A pdf file with some useful remarks/links (with special attention to formal semantics)