cur (racket): Dependent types and meta-programming
Keywords: proofs|types