  We show a de Rham theory for cubical manifolds, and study rational homotopy
type of the classifying spaces of smooth quandles. We also show that secondary
characteristic classes in \cite{Dup2,DK} produce cocycles of quandles.
