3 ms·I translated First chapter of Chlipala's book code from Coq into C++ templates1 points by EvgeniyZh 8y ago