GitHub repository: pa-ba/reg-machine
Primary language: Coq
Description: Coq & Haskell code for Calculating Correct Compilers II