Interpreter and compiler for a procedural language (fragment of C) in Agda Requirements: Agda ≥ 2.6.2 Agda standard-library ≥ 1.7.1 Building: make -C src