This is an Agda formalisation of part of the University of Cambridge Semantics of Programming Languages course, based on the course lecture notes.
Thanks to Jacob Bennett-Woolf for contributions to --exact-split support and precedence/associativity.
Agda mechanisation of the University of Cambridge Semantics of Programming Languages course
Repository from Github https://github.comyallop/semantics-agda
This is an Agda formalisation of part of the University of Cambridge Semantics of Programming Languages course, based on the course lecture notes.
Thanks to Jacob Bennett-Woolf for contributions to --exact-split support and precedence/associativity.
Agda mechanisation of the University of Cambridge Semantics of Programming Languages course