GitHub repository: uwplse/fix-to-elim
Primary language: Coq
Created: 2019-07-24T23:02:42Z
Description: Fixpoint to eliminator translation in Coq