/coquedille

A Coq to Cedille compiler written in Coq

Primary LanguageCoq

Coquedille Build Status

This project will translate Coq terms into Cedille terms.

This project currently compiles with Coq 8.9.1, with dependencies of metacoq, and coq-ext-lib.