Koky A bunch of typeclasses, datatypes and theorems for functional programming in Coq. This is completely experimental. "Koky, Koky, Koky, eres el rey del corral..." - Los Trotamúsicos