/rupicola

Extracting imperative code from Gallina

Primary LanguageCoqMIT LicenseMIT

Rupicola

Gallina to imperative code compilation, currently in design phase.

Rupicola peruviana Rupicola peruviana, aka Andean cock-of-the-rock (Image credit Rainforest Alliance.)