/coquedille

A Coq to Cedille compiler written in Coq

Primary LanguageCoq

Issues