just made all .agda files into .lagda (literate agda), in order to include highlighted code snippets into slides and (later) report