semantics-agda. Agda mechanisation of the University of Cambridge Semantics of Programming Languages course

github.com/yallop/semantics-agda

Problem

Audience

Updates

No founder updates yet. Check back soon.