Local and global Langlands conjecture(s) over function fields | Synapse